POPL 2017
Sun 15 - Sat 21 January 2017
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 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
Show activities from other conferences

POPL 2017-profile
View general profile