Research output per year
Research output per year
Personal profile
Profile
Hans Henrik Løvengreens faglige kompetencer er centreret omkring parallelle systemer med hovedvægt på parallelprogrammering, distribuerede systemer, og tidstro, indlejrede systemer. Han har desuden arbejdet med formelle aspekter af parallelitet: temporal logik, procesalgebra og verifikation. Hans Henrik Løvengreen deltager i DTUs studentersatellitprojekt, DTUsat, som koordinator for softwareudvikling.
Hans Henrik Løvengreen er lektor ved sektionen Computer Science and Engineering under instutut for Informatik og Matematisk Modellering(IMM). Han er uddannet som civilingeniør fra DTU (1980) og modtog sin ph.d.-grad samme sted (1985). Hans Henrik Løvengreen har fra 2004 til 2018 været studieleder for bachelorlinjen Softwareteknologi under civilingeniørstudiet.
Hans Henrik Løvengreen har modtaget flere legater og priser, herunder Polyteknisk Forenings pris for årets underviser (1994) og IMMs samme (2007).
Keywords
- User defined:
- concurrency
- verification
Fingerprint
Dive into the research topics where Hans Henrik Løvengreen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
-
Basic Concurrency Theory
Løvengreen, H. H., 2002Research output: Book/Report › Compendium/lecture notes
-
Towards a Process Algebra for Shared Processors
Buchholtz, M., Andersen, J. & Løvengreen, H. H., 2002, In: Electronic Notes in Theoretical Computer Science. 52, 3, p. 275-294Research output: Contribution to journal › Conference article › Research › peer-review
Open Access85 Downloads (Orbit) -
Streams and Sockets in DTU-RTMM
Sharp, R., Løvengreen, H. H. & Todirica, E. A., 2000, Department of Information Technology, Technical University of Denmark.Research output: Book/Report › Report › Research › peer-review
-
Interval-based Specification of Concurrent Objects
Løvengreen, H. H. & Sørensen, M. U., 1998, Proceedings of ESSLLI'98 workshop on Duration Calculus. Saarbrücken, D: DFKI, p. 111-131Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Computer Based Systems Laboratory
Rischel, H. (Project Manager) & Løvengreen, H. H. (Project Participant)
01/06/1998 → …
Project: Research
-
-
Formelle notationer til specifikation og verification af indlejrede, tidstro systemer
Rasmussen, T. M. (PhD Student), Hansen, M. R. (Main Supervisor), Rischel, H. (Supervisor), Løvengreen, H. H. (Examiner), Guldstrand Larsen, K. (Examiner) & Nipkow, T. (Examiner)
01/02/1999 → 23/08/2002
Project: PhD
-
Real-Time Multimedia (RTMM)
Sharp, R. I. (Project Manager), Løvengreen, H. H. (Project Participant) & Pedersen, S. (Project Participant)
01/01/1998 → 31/12/2001
Project: Research
-
Højniveau-design af programmel til indlejrede, reaktive systemer
Mørk, S. (PhD Student), Andersen, H. R. (Main Supervisor) & Løvengreen, H. H. (Examiner)
01/02/1996 → 21/07/2000
Project: PhD