Hans Henrik Løvengreen

Position:

Associate professor at the Department of Informatics and Mathematical Modelling, Technical University of Denmark.

Research interests:

Specification and verification of concurrent and distributed systems. Temporal logic, simulation techniques, concurrent objects.

More information:

• The Computer Science and Technology Section
• The Department of Informatics and Mathematical Modelling
• The Technical University of Denmark

Contact Information

Office:

Building 322, room 015.

Telephone:

+45 4525 3763

Fax:

+45 4593 0074

Address:

Department of Informatics and Mathematical Modelling
Technical University of Denmark
Richard Petersens Plads, Building 321
DK-2800 Lyngby
Denmark