Martin Schäf

Postdoctoral Fellow

Profile
Bibliography
  • Martin Schäf
    INSTITUTE:
    UNU-IIST
    OFFICE:
    Casa Silva Mendes, Estrada do Engenheiro Trigo No. 4, Macao SAR
    E-MAIL:
    schaef@iist.unu.edu
    PHONE:
    +853 8504 0467
    NATIONALITY:
    Germany

    Research Interests

    • Error detection
    • Formal methods
    • Static analysis

    Education

    B.Sc. & M.Sc., Computer Science, Saarland University
    Ph.D., Software Engineering, Albert-Ludwig University

    Biographical 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.