Hans Henrik Løvengreen

Hans Henrik Løvengreen

Associate Professor

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 322, room 110

2800 Kgs. Lyngby

Ph.
Fax +4545 93 00 74
E-mail hhlo@dtu.dk
ORCID 0000-0001-6443-4957
Home page

Request a vCard via e-mail.

Profile
Publications
Projects
Courses
Loading

Profile

Keywords concurrency | verification