BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Information Systems Group - ECPv6.4.0.1//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://isg.ics.uci.edu
X-WR-CALDESC:Events for Information Systems Group
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:America/Los_Angeles
BEGIN:DAYLIGHT
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
DTSTART:20200308T100000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
DTSTART:20201101T090000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=America/Los_Angeles:20200130T140000
DTEND;TZID=America/Los_Angeles:20200130T180000
DTSTAMP:20261108T022012
CREATED:20200130T181101Z
LAST-MODIFIED:20200130T181101Z
UID:1270-1580392800-1580407200@isg.ics.uci.edu
SUMMARY:A Theoretical View of Distributed Systems (CS Distinguished Seminar Series)
DESCRIPTION:Speaker: Prof. Nancy Lynch (Massachusetts Institute of Technology) \nAbstract: 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: \n    Abstract models for problems that are solved by distributed systems\, and for the algorithms used to\n    solve them\,\n    Rigorous proofs of algorithm correctness and performance properties (also some error discoveries)\,\n    Impossibility results and lower bounds\, expressing inherent limitations of distributed systems\,\n    Some new algorithms\, and\n    General mathematical foundations for modeling and analyzing distributed systems. \nThese various results have spanned many different kinds of systems\, ranging from distributed data-management systems\, to communication systems\, to biological systems such as insect colonies and brains. \nIn this talk\, I will overview some highlights of our work over many years on theory for distributed systems. I will break this down in terms of three intertwined “research threads”: algorithms for traditional distributed systems\, impossibility results\, and mathematical foundations. At the end\, I will say something about our recent work on algorithms for new kinds of distributed systems. \nBio: Nancy Lynch is the NEC Professor of Software Science and Engineering in MIT’s EECS department. She heads the Theory of Distributed Systems research group in the Computer Science and AI Laboratory. She received her PhD from MIT and her BS from Brooklyn College\, both in Mathematics. \nLynch has (co-)written many research articles about distributed algorithms and impossibility results\, and about formal modeling and verification of distributed systems. Her best-known contributions are the “FLP’’ impossibility result for reaching consensus in asynchronous distributed systems in the presence of failures\, with Fischer and Paterson\, and a paper with Dwork and Stockmeyer on algorithms for reaching consensus under restricted failure assumptions. Other contributions include the I/O automata system modeling frameworks\, with Tuttle\, Kaynar\, Segala\, and Vaandrager. \nLynch is the author of the textbook “Distributed Algorithms” and co-author of “The Theory of Timed I/O Automata” and “Atomic Transactions”. She is an ACM Fellow\, a member of the National Academy of Engineering and the National Academy of Sciences\, and a Fellow of the American Academy of Arts and Sciences. She has been awarded the Dijkstra Prize (twice)\, the van Wijngaarden Award\, the Knuth Prize\, the Piore Award\, the Athena Award\, and the IEEE Technical Committee on Distributed Processing Outstanding Achievement award. She has supervised approximately 100 PhD students\, Masters students\, and postdocs. \nLynch is interested in all aspects of distributed computing theory\, including modeling\, algorithm design and analysis\, lower bounds\, and applications. She is especially interested in algorithms for “difficult” platforms\, which are subject to noise\, failures\, and changes. Recently\, her work has focused on wireless network algorithms\, biological distributed algorithms\, and the connections between them.
URL:https://isg.ics.uci.edu/event/a-theoretical-view-of-distributed-systems-cs-distinguished-seminar-series/
LOCATION:DBH 6011
END:VEVENT
END:VCALENDAR