Research output per year
Research output per year
Asmussens Alle, 322, 216
2800 Kgs. Lyngby
Denmark
Research activity per year
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. Hun har igennem de sidste 20 år haft særlig fokus på jernbaner: er leder af DTU Railway Verification Group, har været med til at starte European Technical Working Group on Formal Methods in Railway Control og har bl.a. udviklet nye formelle metoder specielt dedikeret til at bidrage til sikker jernbanetransport. Hun er international anerkendt for sin transportforskning og samarbejder med mange europæiske universiteter. Hun har de sidste 5 år været en af nøglepersoneren i forskningsprojektet RobustRailS, støttet af Innovationsfonden. Hun har også ydet forskningsbaseret rådgivning og arrangeret workshops og kurser for Banedanmark og Trafikstyrelsen.
Anne Haxthausen er lektor i software udvikling ved DTU Compute. 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å Informatik og Matematisk Modellering og i dag på DTU Compute. Sideløbende har hun desuden været tildelt gæsteprofessorater ved et japansk forskningslaboratorium i 1993, ved Universite Paris i 2005 og University of Florence i 2017.
Hun har publiceret mere end 70 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.
See link to CV and publication list.
Formal methods and specification languages, semantics, safety critical applications, cyber physical systems such as railway control systems.
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Research output: Contribution to journal › Editorial › Research
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Journal article › Research › peer-review
Research output: Contribution to journal › Conference article › Research › peer-review
Haxthausen, A. E., Hansen, B. S. & Bing, E.
01/11/1997 → …
Project: Research
Vu, L. H., Haxthausen, A. E., Peleska, J., Hansen, M. R., Fantechi, A. & Larsen, P. G.
Technical University of Denmark
01/11/2012 → 21/01/2016
Project: PhD
Dung, P. A., Hansen, M. R., Madsen, J., Haxthausen, A. E., Sestoft, P. & Vain, J.
01/11/2011 → 30/09/2015
Project: PhD
Sam.arb.aftaler - Udenlandske offentlige og private
01/04/2005 → 01/04/2010
Project: Research
Buchholtz, M., Nielson, F., Haxthausen, A. E., Focardi, R., Guttman, J. D. & Nielson, H. R.
01/01/2002 → 12/07/2005
Project: PhD
Anne Elisabeth Haxthausen (Guest lecturer)
Activity: Talks and presentations › Conference presentations
Anne Elisabeth Haxthausen (Visiting researcher)
Activity: Visiting an external institution › Visiting another research institution
Anne Elisabeth Haxthausen (Guest lecturer)
Activity: Talks and presentations › Guest lectures, external teaching and course activities at other universities
Anne Elisabeth Haxthausen (Invited speaker)
Activity: Talks and presentations › Conference presentations
Anne Elisabeth Haxthausen (Participant)
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
18/03/2016
1 Media contribution
Press/Media: Press / Media
09/02/2016
1 Media contribution
Press/Media: Press / Media