Andreas Podelski - POPL 2017 (original) (raw)

• Attending

• Program

• Tracks
  * Tutorials
  * Student Research Competition
  * POPL
  * Artifact Evaluation

• Organization
  * Organizing Committee
  * Steering Committee
  * Student Research Competition
  * Artifact Evaluation
  * People Index

• Search

• Series

• Sign in

• Sign up

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

2017

POPL

• Thread Modularity at Many Levels: a Pearl in Compositional Verification

VMCAI

• 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

x_Fri 10 Apr 22:05_