Markus Alexander 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 teaches TLA+ to engineers at Microsoft and elsewhere, sharing his knowledge and experience. Last summer, Markus served as Finn's mentor, working alongside fellow engineer Josh Rowe on using TLA+ to model incidents.