Bio
Markus Alexander Kuppe is the principal engineer on the TLA+ project as part of the RiSE - Research in Software Engineering - group of Microsoft Research Redmond.
Unknown
Markus Alexander Kuppe is the principal engineer on the TLA+ project as part of the RiSE - Research in Software Engineering - group of Microsoft Research Redmond.