Principal Applied Scientist at Amazon Web Services, specializing in neuro-symbolic AI, automated reasoning, static analysis, fault localization, and test automation. Previously Senior Computer Scientist at SRI International and researcher at the United Nations University.
PhD in Computer Science from University of Freiburg (2011) | MS from Saarland University (2006)
- Recent Publications
-
- Education
-
Albert-Ludwig Universität - PhD Freiburg, Germany 2006-2011
Major: Computer Science
Advisor Prof. Andreas PodelskiUniversität des Saarlands - MS Saarbrücken, Germany 2002-2006
Major: 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.