Dr. Hugh Gibbons
Picture
Qualifications
BA, MSc, MA, PhD.
Research Areas
Program Verification and Transformation; Formal Methods; Functional and
Logic Programming; Program Specification; Program Semantics;
Computability; Artificial Intelligence.
Location
LG.20, O'Reilly Institute, Trinity College, Dublin 2, Ireland.
Telephone
+353-1-608-1781
Fax
+353-1-677-2204
Hugh.Gibbons@cs.tcd.ie