Markus Kuppe lmstr@chaos.social

Principal Research Software Engineer at Microsoft Research - Let TLA+ (in) RiSE @ MSFT