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

ArticlesSubscribersSubscriptions