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:

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

Email to: hhl@imm.dtu.dk
Last update: March 12, 2001