Watch recording
![Markus Kuppe](https://squidex.jugru.team/api/assets/srm/nxpQPK4vKo3OPbuHaa56I/102196-1443712020-markus-kuppe-tla-workshop-hydraconf-2021.jpg?cache=3600&width=322&height=322&mode=CropUpsize)
Markus Kuppe
Company: 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
- Watch recording
- Watch recording
- Watch recording