معرفی
Dr. Geoff Hamilton is Associate Professor at Dublin City University's School of Computing. His research develops program transformation hierarchies for applications in theorem proving, verification, optimization, and energy-efficient computing. The distillation algorithm—a key contribution—achieves orders-of-magnitude efficiency gains over standard techniques.
Work spans automated verification tools, termination provers, security protocol analyzers, and complexity bounds calculators. Recent publications focus on side-channel attacks, concurrency optimization, and tight complexity bounds for loop programs. Teaching includes comparative programming languages, cryptography, and formal methods.
Research consistently advances transformation-based approaches for parallelization, verification, and resource analysis. Current directions include smart contract verification and energy-aware program optimization methodologies.
