LESLIE   LAMPORT'S   HOME   PAGE

My TLA Web Page My Collected Works

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 string   ll.sulpalt   and appending   @gmail.com   to it.  I will periodically look at email sent to that address.  I will not 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.