April 1st, 11am-12:30pm April 1, 2021 12:30 PM Virtual Meeting Talk Abstract: For several decades, my collaborators, students, and I have worked on theory for distributed systems in order to understand their capabilities and limitations in a rigorous, mathematical way. This work has produced many different kinds of results, including: • Abstract models for problems that are solved by distributed systems, and for the algorithms used to solve them • Rigorous proofs of algorithm correctness and performance properties (also some error discoveries), • Impossibility results and lower bounds, expressing inherent limitations of distributed systems, • Some new algorithms, and • General mathematical foundations for modeling and analyzing distributed systems.