We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/basicmachines-co/basic-memory'
If you have feedback or need assistance with the MCP directory API, please join our Discord server
leslie-lamport.md•588 B
---
title: Leslie Lamport
type: Person
tags: [distributed-systems, latex, concurrency]
---
# Leslie Lamport
Pioneer of distributed systems theory and creator of LaTeX.
## Observations
- [name] Leslie Lamport
- [role] Computer scientist and researcher
- [expertise] Distributed systems
- [expertise] Concurrency
- [email] lamport@microsoft.com
- [fact] Created LaTeX document preparation system
- [fact] Invented the Paxos consensus algorithm
- [achievement] Won the Turing Award in 2013
## Relations
- works_at [[Microsoft Research]]
- created [[LaTeX]]
- created [[Paxos Algorithm]]