Dr. Geoff Hamilton

Senior Lecturer

Grouping: 
Academic Lecturing
Office: 
L2.55
Phone Number: 
+353-1-7005017
Email Address: 

Homepage: 

http://www.computing.dcu.ie/~hamilton

Research Group: 
Dependable Systems
Associated Research Centres: 
The Irish Software Engineering Research Centre (Lero)
Research Interests: 
  • Program transformation
  • Program verification
  • Automated theorem proving
  • Program parallelization
  • Static program analysis
Selected Publications: 
  • B. Aziz and G.W. Hamilton
    "Verifying a Delegation Protocol for Grid Systems"
    Future Generation Computer Systems
    2011
  • G.W. Hamilton and G. Mendel-Gleason
    "A Graph-Based Definition of Distillation"
    Proceedings of the Second International Workshop on Metacomputation in Russia
    Pereslavl-Zalessky, Russia, July 2010
  • G.W. Hamilton
    "Extracting the Essence of Distillation"
    Proceedings of the Seventh International Andrei Ershov Memorial Conference: Perspectives of System Informatics
    Novosibirsk, Russia, June 2009
    Lecture Notes in Computer Science LNCS 5947:151-164
Active Research Grants: 

SFI RFP: "AUTOPAR: Automatic Parallelization of Programs" 2010-2014

  • 919 reads