Wolfgang Grieskamp

Research Engineer

I’m a Software Engineer and Researcher at Novi since November ’19. I received a PhD from TU Berlin in 1999 in the area of executable specification languages and formal semantics. From 2001 to 2007 I worked at Microsoft Research on specification languages and model-based testing, and from 2007 to 2011 in the Microsoft Windows Server group, where my research was applied on a large scale. I joined Google in 2011 and worked until 2016 on web services, APIs, and protocols, contributing to Google’s protobuf and grpc. In 2016, I switched to Google Research and Machine Intelligence, where I helped bootstrapping the Federated Learning technology and bringing it to production. At Novi, my focus is (again) on specification, verification, and testing.


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, Sam Blackshear, Junkil Park, Yoni Zohar, Clark Barrett, David Dill

CAV - October 21, 2020