Nancy Lynch- A Theoretical View of Distributed Systems | NSF - National Science Foundation

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.

Related Keywords

United States , American , Livestream Youtube , Blaine Rivas , Nancy Lynch , Henrya Kautz , Kai Laboratory , Brooklyn College , National Academies Of Sciences , Professor Of Software Science , American Academy Of Arts , Department Of Electrical Engineering , Theoretical View , Software Science , Electrical Engineering , Computer Science , Distributed Systems , Distributed Algorithms , Atomic Transactions , American Academy , National Academies , Dijkstra Prize , Knuth Prize , Piore Prize , Distinguished Lecture , ஒன்றுபட்டது மாநிலங்களில் , அமெரிக்கன் , லைவ்ஸ்ட்ரீம் வலைஒளி , பிளைன் ரீவஸ் , நான்சி லிஞ்ச் , ஐ ஆய்வகம் , ப்ரூக்ளின் கல்லூரி , தேசிய ஆஃப் அறிவியல் , ப்ரொஃபெஸர் ஆஃப் மென்பொருள் அறிவியல் , அமெரிக்கன் கலைக்கழகம் ஆஃப் கலைகள் , துறை ஆஃப் மின் பொறியியல் , கோட்பாட்டு பார்வை , மென்பொருள் அறிவியல் , மின் பொறியியல் , கணினி அறிவியல் , விநியோகிக்கப்பட்டது அமைப்புகள் , அணு பரிவர்த்தனைகள் , அமெரிக்கன் கலைக்கழகம் , தேசிய , ந்யூத் ப்ரைஸ் , புகழ்பெற்ற சொற்பொழிவு ,