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
Research interests:program analysis and verification, constraint solving, AI planning, testing, cyber-physical systems

Contributions

POPL 2017 Thread Modularity at Many Levels: a Pearl in Compositional Verification
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
Show activities from other conferences

POPL 2017-profile
View general profile