| 
Welcome
The group "Software Engineering" is lead by Prof. Dr. Reiner Hähnle. The group exists since September 2011 and we are currently busy setting everything up. Information about our group, teaching and research will appear here soon.
Courses
In the summer term 2012 we offer the course "Automated Theorem Proving".
Contact
Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt
Deutschland
Gebäude S2|02, Räume A204, A223
Telefon: +49-6151-16-3606 (Sekretariat)
Fax: +49-6151-16-5410
Print
Impressum
Sitemap
Search
Contact
