Viðburðadagatal TD

Pearls of Computation: Luca Aceto

  • 6.11.2015, 14:00 - 15:00

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 (, 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.