Leslie B. Lamport

Microsoft Research


Election Year: 2011
Primary Section: 34, Computer and Information Sciences
Membership Type: Member

Research Interests

My research interests stem from an interest in concurrency. Concurrency includes multiprocess algorithms and distributed algorithms--especially fault-tolerant ones. It also includes fundamental questions of how independent entities communicate and synchronize their activities. The difficulty of avoiding errors in concurrent algorithms and systems led to my interest in rigorously specifying and checking their correctness.

Powered by Blackbaud
nonprofit software