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

SAS 2021 Committee Member in Program Committee within the SAS-track
LPOP 2020 Committee Member in Program Committee within the LPOP 2020-track
VMCAI 2021 Author of Verification of Concurrent Programs Using Petri Net Unfoldings within the VMCAI-track
POPL 2021 General Chair in Organizing Committee
VMCAI 2020 Author of Panel "The Future of Software Verification" at VMCAI within the VMCAI 2020-track
PC Member in Program Committee within the VMCAI 2020-track
Steering Committee Chair in Steering Committee within the VMCAI 2020-track
Session Chair of Papers 6 (part of VMCAI 2020)
HCVS 2019 Author of Ultimate TreeAutomizer within the HCVS-track
ETAPS 2019 Author of Ultimate Automizer within the Posters-track
POPL 2019 Committee Member in Program Committee within the Research Papers-track
VMCAI 2018 Committee Member in Program Committee within the VMCAI 2018-track
POPL 2018 Author 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 2017 Session 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 2017 Author of Thread Modularity at Many Levels: a Pearl in Compositional Verification within the POPL-track
PLDI 2017 Committee Member in External Review Committee
VMCAI Committee Member in Steering Committee
Committee Member in Program Committee