Anne Elisabeth Haxthausen

Anne Elisabeth Haxthausen

Associate Professor

Matematiktorvet, Building 303B, Room 54

2800 Kgs. Lyngby

Denmark

Phone: 45257510

Fax: 45930074

Anne Haxthausen er ekspert i matematiske metoder og sprog til software udvikling. Hendes forskning bidrager med forbedrede metoder til at udvikle sikkert og pålideligt software. Hun var en af nøglepersonerne i flere EU projekter (Esprit projekterne RAISE, LaCoS, CoFI, FMERail), hvor hun var med til at designe adskillige modelleringssprog og softwareudviklings-metoder, samt anvende disse. Igennem de seneste år har hun især fokuseret på udvikling og verifikation af jernbanestyresystemer og har i samarbejde med Bremen Universitet kørt en række projekter for de danske og tyske baner. Dette har ledt til nye, specialiserede metoder til dette anvendelsesområde. For øjeblikket er hun en af nøglepersoneren i forskningsprojektet RobustRailS, der støttes af Det Strategiske Forskningsråd.
Anne Haxthausen er lektor i software udvikling ved Informatik og Matematisk Modellering (IMM). Hun er uddannet som civilingeniør i anvendt matematik på DTU i 1985 og tog licentiatgraden i datalogi ved Datateknisk Institut på DTU i 1989.
Anne Haxthausen var derefter ansat i dansk industri i perioden 1988-1994, først ved Dansk Datamatik Center og siden i Computer Resources International. I 1995 vendte hun tilbage til DTU som adjunkt og har været lektor her siden 1997, først på Institut for Informationsteknologi, siden på IMM. Sideløbende har hun desuden været tildelt gæsteprofessorater ved et japansk forskningslaboratorium i 1993 og ved Universite Paris i 2005.
Hun har publiceret mere end 50  videnskabelige artikler og er medforfatter til fire bøger. Hun blev tildelt Lektor Marie Løngaards rejselegat på (115.000 kr) i 1998 og United States Information Agency tildelte hende en tre ugers rundrejse at besøge forskningsinstitutioner i USA i 1999.

CV

Education

1985 - 1988 Ph.D. - Technical University of Denmark
1980 - 1985 M.Sc.E. - Technical University of Denmark

Academic grades

M.Sc.E., Ph.D

Professional experience

1997 - Associate Professor (IMM) - Technical University of Denmark, Informatics and Mathematical Modelling
1995 - 1997 Research Assistant Professor (IT) - Technical University of Denmark, Information Technology
1992 - 1994 External Lecturer (ID) - Technical University of Denmark, Department of Computer Science
1985 - 1994 Software Engineer (DDC / CRI) - Dansk Datamatik Center / Computer Resources International

Expertise

Formal methods for software development

International experience

Guest Professor at ETL, Tsukuba, Japan, in 1993.
Guest Professor at University Paris, in 2005-06.

Other information

  1. 1998: Lektor Marie Løngaards travel grant (115.000 kr).
  2. 1999: United States Information Agency granted a travel for three weeks to visit research institutions in the US.

My links

My files

View graph of relations

View all »

View all »

Activities

(17)

View all »

View all »

Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

Place of employment

Latest activities and conferences

ID: 2202135