Coordinates
Georges-Köhler-Allee 52, D-79110 Freiburg
building, room
052-00-017
+49 761 203 8241 (phone)
+49 761 203 8242 (fax)
Assistant
Berit Brauer (+49 761 203 8247)
Marlis Jost (+49 761 203 8240)
Position
Professor in Computer Science
Chair of Software Engineering
Teaching
Research
software productivity tools; program verification and analysis; requirements engineering.
- Conferences: ESOP'10, SOFSEM'09, SAS'09, TACAS'09, FCT'09, VMCAI'08, CAV'08, SAC-SV'08, LPAR '08, SEFM'07, SAS'07, PPDP'07, CAV'07, TACAS'07, VMCAI'07, SAS'07, FMICS'07, WST'06, MTCoord'06, FMICS'06, JFPC'06, SAS'06, SRV'06, CSTVA 2006, SATCP'06, ASIAN'06, Constraints and Verification, POPL'06
- Workshops: Constraints and Verification (Newton Institute 2006)
- Invited Talks: VSTTE'08, LV'08, upcoming: SAS'10, ETAPS'11
- Projects: Salomo (MWK), AVACS (DFG SFB), Verisoft (BMB+F)
-
Chair of Software Engineering: Research, Tools, Projects, Team, Team Poster, Gallery
-
Papers: see DBLP
