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