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.