Hacker News new | comments | show | ask | jobs | submit login

Dr. Lamport does courses at Microsoft? More details please.

Only 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.

That's fantastic. Would be a great contribution to people interested in formal methods. How's your email?

He worked for Microsoft research, so not surprising.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact