Andreas Podelski

Registered user since Fri 9 Sep 2016

Name: Andreas Podelski

Bio: Max Planck Institute for Computer Science, 1995-2006.

DEC PRL (Digital Paris Research Laboratory), 1992-94.

University of Paris 7, LITP, 1989-92

University of California at Berkeley, 1988-89

PhD, University of Paris 7. Supervisor Maurice Nivat.

Diplom, University of Münster. Supervisor Dieter Rödding.

Country: Germany

Affiliation: University of Freiburg, Germany

Personal website: http://swt.informatik.uni-freiburg.de/staff/podelski

Research interests: program analysis and verification, constraint solving, AI planning, testing, cyber-physical systems

Contributions

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
Steering Committee Chair in Steering Committee within the VMCAI 2020-track
HCVS 2019Author of Ultimate TreeAutomizer within the HCVS-track
ETAPS 2019Author of Ultimate Automizer within the Posters-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
POPL 2018Author of Reducing Liveness to Safety in First-Order Logic within the Research Papers-track
Author of Reducing Liveness to Safety in First-Order Logic within the Artifact Evaluation-track
VMCAI 2017Session Chair of Invited talk 3 (part of VMCAI)
Session Chair of Model-checking and bug finding (part of VMCAI)
Committee Member in Program committee
Session Chair of Decision procedures (part of VMCAI)
Committee Member in Steering Committee
POPL 2017Author of Thread Modularity at Many Levels: a Pearl in Compositional Verification within the POPL-track
PLDI 2017Committee Member in External Review Committee
VMCAICommittee Member in Steering Committee
Committee Member in Program Committee