Martin Schäf

Registered user since Fri 6 Jan 2017

Name:Martin Schäf
Bio:

Martin Schäf is a senior applied scientist at AWS. Before joining AWS, he worked at SRI International. Martin did his PostDoc 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 testing.

Country:United States
Affiliation:Amazon Web Services
Research interests:software verification, static analysis, fault localization, testing

Contributions