Registered user since Fri 6 Jan 2017

Name: Martin Schäf

Bio: Martin Schäf is a Software Engineer 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 GUI testing.

Country: United States

Affiliation: Amazon Web Services, USA

Personal website:

Research interests: software verification, static analysis, fault localization, testing


ASE 2020 Author of Continuous Compliance within the Research Papers-track
SEConfig 2019 Committee Member in Program Committee within the SEConfig 2019-track
FTfJP 2019 Committee Member in Program Committee within the FTfJP 2019-track
ICSE 2020 Author of Verifying Object Construction within the Technical Papers-track