I am a postdoc Research Fellow working with Prof Matthew Hennessy on the Foundations of Global Computing project. My PhD research focused on type systems for functional programming, and in particular uniqueness typing.

In my spare time I am an instructor and student of Krav Maga.

Contact Information

Office: Lloyd Institute 315 (map)
Phone: (+353) 01 896 1115
Email: Edsko.de.Vries @ cs.tcd.ie

Postal address:
Edsko de Vries
Computer Science Dept., FMG
Trinity College Dublin
College Green, Dublin 2
Ireland