Martin Schäf

     fb  fb

Senior Computer Scientist
Computer Science Laboratory, SRI International

That's me!

Dr. Martin Schäf is a Senior Computer Scientist at SRI International. Before joining SRI, he worked at the United Nations University in Macau. He received his PhD from University of Freiburg in 2011, and his MS degree in computer science from Saarland University in 2006. His research interests include static analysis, software verification, fault localization, and GUI testing.

Tools & Projects


Software Model Checker for Java


Inconsistent Code detection for Java

Recent Publications


See the full list of publications.

Albert-Ludwig Universität - PhD Freiburg, Germany 2006-2011

Major: Computer Science
Advisor Prof. Andreas Podelski

Universität des Saarlands - MS Saarbrücken, Germany 2002-2006

Major: Computer Science


My Erdös number is 3: Pascal Schweitzer, Brendan D. McKay, Paul Erdös.

My academic family tree, including co-authors is here.