Publications per year
Publications 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
File78 Downloads (Pure) -
Towards a Process Algebra for Shared Processors
Buchholtz, M., Andersen, J., Løvengreen, H. H. & Corradini al. al., F. (ed.), 2001, Preliminary proceedings of 2nd International Workshop on Models for Time-Critical Systems, MTCS '01. p. 87-99Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
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
-
-
-
Formelle notationer til specifikation og verification af indlejrede, tidstro systemer
Rasmussen, T. M., Hansen, M. R., Rischel, H., Løvengreen, H. H., Guldstrand Larsen, K. & Nipkow, T.
01/02/1999 → 23/08/2002
Project: PhD
-
Real-Time Multimedia (RTMM)
Sharp, R., Løvengreen, H. H. & Pedersen, S.
01/01/1998 → 31/12/2001
Project: Research
-
Højniveau-design af programmel til indlejrede, reaktive systemer
Mørk, S., Andersen, H. R. & Løvengreen, H. H.
01/02/1996 → 21/07/2000
Project: PhD