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
Areas: program verification and analysis; programming languages; automata-theoretic, algebraic and logical methods; constraints.
Future programming languages will allow the programmer to express
more and more high-level properties in the source code and have the
compiler check them. In order to make this happen, we go from
program analysis to verification using automated abstraction. Abstraction is logical reasoning over data and control.
- 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
- Projects: Salomo (MWK), AVACS (DFG SFB), Verisoft (BMB+F)
-
Chair of Software Engineering: Research, Tools, Projects, Team, Team Poster, Gallery
-
Papers: see DBLP