max planck institut
informatik
informatik
I recently moved to Freiburg University and I have a new Homepage.
I am a PhD student in the Programming Logics Group. My supervisor is Andreas Podelski.
Max-Planck-Institut für Informatik
Department 2: Programming Logics
Building 46.1, Room 614
Stuhlsatzenhausweg 85
D-66123 Saarbrücken, Germany
E-Mail: wies at mpi-inf dot mpg dot de
Phone: +49 681 9325 214
Fax: +49 681 9325 299
Program verification, software model-checking, shape analysis.
I am envolved in the Hob and Jahob projects for verifying data structure constistency. In the context of these projects I am developing Bohne, a tool that infers loop invariants of programs manipulating heap-allocated data structures.
Tutorials for the lecture Verification WS 2004/05.
Climbing, hiking, and alpine combinations thereof. I collected some recent photos.