Skip to content
Markus Kuppe

Markus Kuppe

Microsoft

Markus Kuppe is an engineer at Microsoft Research. His focus is making spec-driven development (with TLA+) more popular among fellow engineers.

Talks from 2021 season