Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Andreas Podelski
Andreas Podelski
Max-Planck-Institut für Informatik
Research interests: program verification and analysis; high-level programming languages; automata-theoretic, algebraic and logical methods; constraints.
Future programming languages will allow the programmer to express more and more high-level properties in the source code and have the compiler check them. In order to make this happen, we need to go from program analysis to verification using automated abstraction. Abstraction is logical reasoning over data and control.