Geoff Hamiltonمشاهده پروفایل
دانشیار
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.






