Lamport+Microsoft was the first thing that I thought of when I read the comment. FWIW he retired at the beginning of this year.