InfoQ Homepage Interviews Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+
Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+
Bio
Leslie Lamport is the 2013 Turing Award winner for "fundamental contributions to the theory and practice of distributed and concurrent systems”. Much of the infrastructure implemented in places like Amazon.com is based on his research.
About the conference
Software is Changing the World. QCon empowers software development by facilitating the spread of knowledge and innovation in the developer community. A practitioner-driven conference, QCon is designed for technical team leads, architects, engineering directors, and project managers who influence innovation in their teams.
Jan 17, 2015
Interview with
This content is in the QCon Software Development Conference topic
Related Topics:
Sponsored Content
-
Related Editorial
-
Related Sponsors
-
Popular across InfoQ
-
Kubernetes Promotes KYAML as a Safer, More Consistent Way to Work with Manifests
-
Airbnb Cuts Authentication Code by 60% with Server Driven Architecture
-
Netflix Moves toward Open Source Flink Autoscaler for 30,000+ Streaming Jobs
-
Java News Roundup: TornadoVM 6, JReleaser, LangChain4j, Java Operator SDK, JHipster, Yupiik Fusion
-
Google Mantis: an Agentic Vulnerability Scanning Harness for Reducing False Positives
-
Personality Over Skillset: How Adam Wachtel Builds Engineering Teams
-