Malcolm Tyrrell's Home Page

Contents

• Currently
• Previously
• Advocacy
• Other Stuff
• Contact Information

Currently

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.

Previously

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.

Advocacy

• The GNU Project and Free Software
• Organ donation - Note that you need to inform your next of kin in advance!
• Commuting by Bicycle

Other Stuff

• MazezaM and the MazezaM Engine: a puzzle game and some puzzle software
• Boombox mod: I modified an old boombox
• Please cycle in dublin: please commute by bike!
• Old Stuff - some old software

Contact Information

• Work related e-mail: Malcolm dot Tyrrell at computing dot dcu dot ie
• Personal e-mail: Malcoh0l at yahoo dot ie
• Telephone: +353 1 7008981
• Office: 2.12
• Contact address: School of Computing, Dublin City University, Dublin 9, Ireland.