School of Computer Applications
Dublin City University
Dublin 9
Ireland

 
Phone:  + 353 1 7008419
Fax:  + 353 1 7005442

Research Interests

My interest is in constructing high-quality computer software, especially software in which users can have a very high confidence that it performs according to specification. I am especially interested in developing mathematical methods of extracting guaranteed correct programs from formal specifications. Other areas of interest include concurrency and formal logic. 

---

Publications

For a list of recent publications, including downloadable electronic versions, look here.

---

Ph.D. & Postdoc <> If you are interested in pursuing a Ph.D. or undertaking postdoctoral research take a look at CURRENT RESEARCH TOPICS. PhD students should have, or shortly expect to obtain, a first class degree in Computing Science or Mathematics. Students who bring knowledge from both computing and mathematics are especially welcome. If you are a mathematics students who enjoyed algebra and/or logic courses there is a good chance you will  enjoy working on the more formal projects even if your experience of software is limited.

---

Teaching

I teach CA166 and CA504. I am stream coordinator for the Computing Science stream of the B.Sc. degree.

---

Background

I am from Dublin, Ireland. I studied Engineering and Mathematics at Trinity College, Dublin, and later did an M.Sc. and then a Ph.D. there in Computing Science. I undertook some of my postgraduate research in the University of Eindhoven in the Netherlands. Before coming to DCU I have been a lecturer at Trinity College Dublin, University College Dublin, and the University of Glasgow. In between times, I have worked for Irish Life in Dublin, Siemens in Munich, Olivetti in London, and Tektronix in Oregon, U.S.A.