Defence of dissertation in the field of computer science, Tuomo Lempiäinen, M.Sc.
Tuomo Lempiäinen, M.Sc., will defend the dissertation "Logic and Complexity in Distributed Computing" on Thursday 4 April 2019 at 12 noon in Aalto University School of Science, lecture hall M1, Otakaari 1, Espoo.
The dissertation studied the theory of distributed computing from two perspectives. It established a connection between distributed computing and mathematical logic, as well as proved the existence of several new complexity classes.
Opponent: Associate Professor Yuval Emek, Technion, Israel
Custos: Assistant Professor Jukka Suomela, Aalto University School of Science, Department of Computer Science
Electronic dissertation: http://urn.fi/URN:ISBN:978-952-60-8478-7