Malcolm Tyrrell's Home Page



I am a post-doctoral researcher at the School of Computing of Dublin City University.

I am also a committee member of the Irish Free Software Organisation.


In 2004, I received my Ph.D. from the Computer Science Department of Trinity College Dublin. My doctoral thesis is called "Towards a Formal Method for Distributed Object-Oriented Systems".

While completing my post-graduate work at Trinity, I lectured mathematics to the Information and Communication Technology degree.

In 1997, I graduated from the Department of Mathematics at the University of Manchester with a M.Sc. in Mathematical Logic and the Foundations of Computation. My dissertation is called "Approaches to Normalisation in Type Theories".

In 1996, I graduated from the Department of Mathematics at Trinity College with a B.A. (Mod) in Mathematics.


Other Stuff

Contact Information

This page was last updated on September 5th, 2008.