Viðburðir eftir árum

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.

Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á eða með því að senda tölvupóst á netfangið:
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our or send an e-mail: