Markus A Kuppe

Due to the evolving Coronavirus/COVID-19 situation, SREcon20 Americas West has been rescheduled to June 2–4, 2020.
More information is available here.

Markus Kuppe is a Principal Research Software Development Engineer at Microsoft Research. He joined the TLA+ project in 2011. Being an engineer, his focus is on making spec-driven development (with TLA+) more popular among fellow engineers.