4 ms·
Dr. Lamport does courses at Microsoft? More details please.
by justanotheratom 10y ago
Dr. Lamport does courses at Microsoft? More details please.
- ahelwer 10y agoOnly for Microsoft employees, unfortunately! If you work at Microsoft, send me an email (alias is same as username here) and I'll get you added to the TLA+ Outlook group for future course announcements and such.
- scvalencia 10y agoThat's fantastic. Would be a great contribution to people interested in formal methods. How's your email?
- UK-AL 10y agoHe worked for Microsoft research, so not surprising.