Andreas Podelski
|
Andreas Podelski
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-017 |
Position
Professor in Computer Science
Chair of Software Engineering
Assistant
Berit Brauer (+49 761 203 8247)
Marlis Jost (+49 761 203 8240)
Resources
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)
-
Chair of Software Engineering: Research, Tools, Projects, Team, Gallery
-
Papers: see DBLP