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
Administrative Assistant
Anna Liolios-Zimmermann (+49 761 203 8247)
Marlis Jost (+49 761 203 8240)
Research
-
research interest: program analysis and verification, requirements analysis, cyber-physical systems
-
this page is terribly outdated, but see the pages Research, Tools (Ultimate), Projects of the Chair of Software Engineering
- publications
- journal editor: TOPLAS, JAR, STTT, Constraints, FMSD
-
conference PC member: VDS 2018, HSCC'16, VMCAI' 16, LPAR'16, MOCHAP'15, NETYS'15, NFM'15, TAPAS'15, VMCAI'15, ATVA'14, CSL-LICS'14, HSCC'14, RTSS'14, FMICS'13, HSCC'13, RP'13, VSTTE'13, CAV'12, SAS'12, VMCAI'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: LATA'15, CPAIOR'15, VMCAI'13, CAV'13, ATVA'12, ETAPS'11, SAS'10, VSTTE'08, LV'08