Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Home page of Anne Haxthausen
[go: Go Back, main page]

Anne Elisabeth Haxthausen

Position:
Associate Professor at the Computer Science and Engineering section at the department of Informatics and Mathematical Modelling, Technical University of Denmark.

I am a member of the Safe and Secure Systems group.

Research interests:
Formal methods and specification languages, semantics, safety critical applications.

Projects:
RAISE
Timed RAISE
TRain: The Railway Domain
Dracos: Verification of a Distributed Railway Control System
FMERail
LYCOS: The Lyngby Co-Synthesis System
CoFI: The Common Framework Initiative
Information Project (in Danish)

Publications:
List of publications

Teaching:
Course 02101 "Introductory Programming"
Course 02263 "Formal Aspects of Software Engineering"

Photo

Contact information:
Postal address:
Anne Haxthausen
CSE/IMM
Technical University of Denmark, Building 321
DK-2800 Lyngby
Denmark
Office:
Building 322, room 009
Phone:
+45 45 257510
Fax:
E-mail:
ah@imm.dtu.dk

Comments to: ah@imm.dtu.dk
Last update: August 30, 2004