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)
Research - software productivity tools, program verification and analysis; requirements engineering
-
Conferences: POPL'13, POPL'12, PLDI'11, 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
-
Invited Talks: VSTTE'08, LV'08, SAS'10, ETAPS'11, upcoming: VMCAI'13
-
Chair of Software Engineering: Research, Tools, Projects, Team, Gallery
—
filed under:
TEAM