BT

Facilitating the Spread of Knowledge and Innovation in Professional Software Development

Write for InfoQ
Register Sign in

Unlock the full InfoQ experience

Unlock the full InfoQ experience by logging in! Stay updated with your favorite authors and topics, engage with content, and download exclusive resources.

Log In
or

Don't have an InfoQ account?

Register
News Articles Presentations Podcasts Guides

Topics

Choose your language

AI Engineering Certification

Work through your production AI decisions with senior engineers from other companies. Apply their perspectives to challenges from your own work.
Online. Register Now.

AI Engineering Certification

Building RAG pipelines or AI agents? Work through retrieval, context, evals, and reliability decisions with experienced practitioners.
Online. Register Now.

High-Performing Teams Certification

Compare team design, delivery flow, AI roles, and metrics with experienced practitioners.
Online. Register Now.

Architect Certification

Distributed systems, decentralized decisions, platform engineering, and AI architecture.
Online. Register Now.

QCon San Francisco

What's working across AI, architecture, and leadership, from the teams doing it.
Register. Early bird ends Nov 10.

QCon AI New York

Production AI across agents, context, evals, security, and infrastructure, from the senior engineers building it.
Register. Early bird ends Nov 10.

QCon London

What early-adopter teams have proven in production, across 15 engineering tracks.
Register. Early bird ends Nov 10.

QCon AI Boston

Learn from the decisions and trade-offs behind AI systems already running in production.
Registration open.

InfoQ Homepage Interviews Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+

Leslie Lamport on LaTeX, Paxos, Distributed Systems, TLA and TLA+

18:32

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:
BT