Anne Elisabeth Haxthausen

Position:

Associate Professor at the Software Engineering section at the department of Informatics and Mathematical Modelling, Technical University of Denmark.

Research interests:

Formal methods and specification languages, semantics, safety critical applications.

Projects and centers:

Competence Center in Model-based Software Engineering

Overture - Open Source Formal Methods Tools

RAISE

Timed RAISE

CoFI: The Common Framework Initiative

Mondex smart card (specification and verification of security properties). See also here.

TRain: The Railway Domain

A Domain-specific Framework for Construction and Verification of Railway Control Systems

Dracos: Verification of a Distributed Railway Control System

FMERail

Publications:

List of publications Books

Programme Committees 2008-2009:

AMAST 2008 ICTAC 2008 (PC co-chair) ICTAC 2009 FM 2009

Teaching spring 2009:

Course 02161 "Software Engineering 1"

Course 02263 "Formal Aspects of Software Engineering"

Other DTU responsibilities:

Member of the CSE BSG committee.

Responsible for the IMM part of the "Ny Viden" programme.

Tutor for 25 bachelor students.

Mentor for 8 female students studying software technology, and initiator of a network for them.

Member of Hypatia - Women in Engineering.

Information project.

Photo

Contact information:

Postal address:

Anne Haxthausen
Informatics and Mathematical Modelling
Technical University of Denmark, Building 321
DK-2800 Lyngby
Denmark

Office: Building 322, room 014

Phone: +45 45 257510

Fax: +45 45 930074

E-mail:ah "at" imm.dtu.dk