Malcolm Tyrrell's Home Page
I am also a committee member of the Irish Free Software Organisation.
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".
- 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.