Martin Schäf

Principal Applied Scientist · AWS

Martin is a Principal Applied Scientist at Amazon Web Services, working on AWS Billing. He applies techniques from formal verification and program analysis to cloud billing contracts. Previously at AWS, he worked on AI and security developer tools, including Kiro, CodeWhisperer, and CodeGuru.

Before joining AWS, he was a Computer Scientist at SRI International and a researcher at the United Nations University in Macau. He holds a PhD from the University of Freiburg and an MS from Saarland University.

Recent Publications

View all publications →

Education

Albert-Ludwig Universität, Freiburg PhD · 2006–2011

Computer Science · Advisor: Prof. Andreas Podelski

Universität des Saarlands, Saarbrücken MS · 2002–2006

Computer Science

Misc

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

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

I'm an ordained minister and marriage officiant in the state of New York.