Markus Kuppe lmstr@chaos.social
Principal Research Software Engineer at Microsoft Research - Let TLA+ (in) RiSE @ MSFT
Pradeep Gowda @pradeep@social.btbytes.com
I'm also at:
* https://twitter.com/btbytes
* https://github.com/btbytes
* https://linkedin.com/in/btbytes
* https://www.btbytes.com
... you get the idea ;)