The Move Prover
Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, 709637639977877, Junkil Park, Yoni Zohar, Clark Barrett, David Dill
People
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).
Interests
Specification and programming languages, compilers and runtimes, verification and testing, large scale system design, machine learning
Latest Publications
CAV - 2020
Fast and Reliable Formal Verification of Smart Contracts with the Move Prover
David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Emma Zhong