Anne Elisabeth Haxthausen

Anne Elisabeth Haxthausen

Lektor

DTU COMPUTE
Institut for Matematik og Computer Science

Danmarks Tekniske Universitet

Asmussens Alle

Bygning 322, rum 216

2800 Kgs. Lyngby

Tlf.
Fax 45 93 00 74
E-mail aeha@dtu.dk
ORCID 0000-0001-7349-8872
Hjemmeside

Få tilsendt vCard på e-mail.

Profil
Publikationer
Projekter
Aktiviteter
Kurser
CV
Loading

CV

Akademiske Grader

Ph.D., Technical University of Denmark, 1989
M.Sc.E., Technical University of Denmark, 1985

Ekspertise

Formal methods and specification languages, semantics, safety critical applications, cyber physical systems such as railway control systems.

Anden information

See link to CV and publication list.

Hjemmesider

www.imm.dtu.dk/~aeha/ - Homepage