Headshot of Wolfgang Grieskamp
Headshot of Wolfgang Grieskamp


Wolfgang Grieskamp

Software Engineer

My passion is around software engineering productivity. I have worked on core technology for productivity (compilers, languages, static analysis, testing, formal methods), as well as applied those in subject domains (control systems, protocols and web services, machine learning, and the mobile stack).


Specification and programming languages, compilers and runtimes, verification and testing, large scale system design, machine learning

Latest Publications

The Move Prover

Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, 709637639977877, Junkil Park, Yoni Zohar, Clark Barrett, David Dill

CAV - 2020