Viðburðadagatal TD

Pearls of Computation: The Essence of Reynolds

  • 10.4.2015, 14:00 - 15:00


 Friday, 10 April 2015, at 2pm
PLACE: M1.04

Title: The Essence of Reynolds

Speaker: Alvaro Garcia-Perez (Reykjavik University)

Abstract: John Reynolds was a pioneer of theoretical computer science who laid the foundations of numerous studies in programming languages. He formulated the property of  parametric polymorphism, contributed decisively to the theories of abstraction and state, and (at the age of 64!) he introduced separation logic. In this talk we will take a look at his life and at some his most relevant ideas.

This talk is a part of the Pearls of Computation Lecture Series given by the School of Computer Science at Reykjavik University, which profiles the life and work of outstanding computer scientists that have shaped their respective fields of study. See for further details on this public seminar series.