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