Leslie Lamport's Home Page (original) (raw)

I have retired from Microsoft

Microsoft has graciously agreed to maintain my website. However, my Microsoft email address no longer works. If I know you, I may have forgotten to tell you my new email address. If you believe this to be the case, or if you think you have something to tell me that I want to hear, you can send me email at the address obtained by reversing the order of the characters in the ten-letter stringll.sulpalt and appending@gmail.com to it. I will periodically look at email sent to that address. I willnot respond to email asking questions about what I have written, requesting advice of any kind, or describing your work. TLA+ now belongs to the TLA+ Foundation.

I now give a few talks, usually in the form of question and answer sessions, and some interviews about the work I have done. Some of these can be found on the web.