Pearls of Computation: The Essence of Reynolds
DATE AND TIME:
Friday, 10 April 2015, at 2pm
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 http://www.icetcs.ru.is/poco.html for further details on this public seminar series.