Andreas Podelski has held research positions at the DEC Paris Research Lab and the Max Planck Research Institute before his appointment at the University of Freiburg. His research interests are in program analysis and verification. Appointments: dcm@cs.cmu.edu |
Maintainer | [ Home > Seminar ] |
`Last modified: Tues Sep 30 11:09:10 EDT 2008 |