Generate a tailored SOP for Dr. Anne Haxthausen. Improve your application with a focused, well-structured draft.
Anne Haxthausen specializes in mathematical methods and languages for software development, contributing significantly to the improvement of methods for creating safe and reliable software. She has been a key figure in several EU projects, including Esprit projects such as RAISE and FMERail, where she was involved in designing various modeling languages and software development methods. With over two decades of focus on railways, she leads the DTU Railway Verification Group and has played a role in initiating the European Technical Working Group for Formal Methods in Railway Control. Her research has particularly emphasized formal methods dedicated to enhancing railway safety transport, earning her international recognition. Over the last five years, she has been a key participant in the RobustRailS research project funded by the Innovation Fund, and she has also provided research-based consulting and organized workshops for Banedanmark and the Danish Transport Authority. Haxthausen holds a Master's degree in applied mathematics from DTU and has been employed in Danish industry prior to returning to academia in 1995, achieving the title of associate professor in 1997. She has held visiting professorships in Japan, Paris, and Florence, and has published over 70 scientific articles and co-authored four books.
Technical University of Denmark • Kgs. Lyngby, Denmark
Teaching and conducting research in software development and formal methods.
This requirement applies generally across Technical University of Denmark (DTU) MSc programs including Computer Science, Applied Mathematics, and Engineering disciplines. Specific prerequisites vary by department/curriculum.