MSc (Computer Science) at University College Dublin

Research for my MSc involved the study of algebraic specifications and their implementation using the method of transformational programming. The design and implementation of a tool to support this program construction was required. This work is based on the theorem prover Isabelle.

During the course of this research I spent three months at the Technical University of Munich working in Professor Broy’s school where I presented my work to members of the school. In August 1996 I obtained a scholarship to attend a Summer School in Mathematical Methods of Program Development in Marktoberdorf , Germany.