Craft 2023 - Markus A Kuppe
Markus A Kuppe
Principal Research Software Development Engineer at Microsoft
About Markus A Kuppe

Markus is a principal research software engineer at Microsoft Research. He has been a member of the TLA+ project for over a decade. In this role, Markus has made significant contributions to the development of the TLA+ tools and has helped engineers at Microsoft formalize their systems using TLA+. Markus also regularly teaches TLA+ to engineers at Microsoft and elsewhere, sharing his knowledge and experience.