Pearls of Computation: Luca Aceto
DATE: Friday, 6 November 2015
TIME AND PLACE: 2pm in room M1.04
TITLE: Michael O. Rabin: Automata, Logic and Randomness in Computation
SPEAKER: Luca Aceto
ABSTRACT: In this talk, I will briefly review the life and the highlights of the work of Michael O. Rabin (https://en.wikipedia.org/wiki/Michael_O._Rabin), who received the 1976 Turing Award jointly with Dana Scott for the introduction of the concept of nondeterminism in models of computation. Rabin has given outstanding contributions to fields as diverse as automata and logic (proving the fundamental Rabin's Theorem, amongst many other results), randomized algorithms, cryptography and security. He is also a very interesting personality and is still active at age 84.