The group "Software Engineering" is lead by Prof. Dr. Reiner Hähnle. The group exists since September 2011. Please proceed to the pages of the individual group members to learn more about their projects, activities, and publications.

Focus Areas:

  • Formal Specification and Deductive Verification of Programs
  • Modelling and Static Analysis of Concurrent and Distributed Systems



In the winter term 2017/18, we offer: 

  • Bachelorpraktikum
  • Lecture: Software Engineering
  • Lecture: Automatic Theorem Proving
  • Oberseminar: Software Engineering using Formal Methods



Software Engineering Group


Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt

Gebäude S2|02, Räume  A204, A223

Tel:+49 6151 16-21361 (Sekretariat) 

Fax:+49 6151 16-22361

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang