Martin Schäf
Postdoctoral Fellow
- INSTITUTE:
- UNU-IIST
- OFFICE:
- Casa Silva Mendes, Estrada do Engenheiro Trigo No. 4, Macao SAR
- E-MAIL:
- PHONE:
- +853 8504 0467
- NATIONALITY:
- Germany
Research Interests
Error detection Formal methods Static analysisEducation
B.Sc. & M.Sc., Computer Science, Saarland University Ph.D., Software Engineering, Albert-Ludwig UniversityBiographical Statement
Martin Schäf received his B.Sc. and M.Sc. from the Saarland University in Computer Science in 2006. From 2006 to 2010 he was a Ph.D. student of Prof. Andreas Podelski at the Albert-Ludwig University in Freiburg, Germany, at the chair of Software Engineering.
Being a researcher at the UNU International Institute for Software Technology (UNU-IIST), Martin is now working in the group of Zhiming Liu on the rCOS project. His research focus is on static analysis and in particular efficient static error detection. Currently he thinks about how to use static verification techniques in a user-friendly way, e.g., for proving the presence of bugs.
Other Publications (Conference Proceedings, etc)
- Doomed Program Points – with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Thomas Wies
to appear in FMSD Special Issues FM 2009. - It’s doomed; we can prove it – with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Thomas Wies
in Proceedings of FM, 2009.
- Doomed Program Points – with Jochen Hoenicke, K. Rustan M. Leino, Andreas Podelski, and Thomas Wies