Jamie Gabbay

Dr. Jamie Gabbay is an Assistant Professor in the School of Mathematical & Computer Sciences at Heriot-Watt University, specializing in the Computer Science department. His research focuses on algebra, formal methods, blockchain technology, and theoretical computer science. Notable contributions include work on UTxO blockchain algebras and the integration of topology with computational logic. He has received prestigious awards such as the Alonzo Church Award (2019) and the LICS Test-of-Time Award (2019). His work bridges foundational mathematics with applied blockchain systems, emphasizing formal verification and decentralized systems design.

Research Interests: Jamie’s work spans algebraic structures, formal semantics of programming languages, and blockchain protocols. He explores topics like UTxO models, cryptographic ledger standards, and the intersection of economic theory with decentralized technologies. Recent publications analyze Marxian economics in blockchain contexts and formalize FA1.2 ledger specifications.

Awards:

• Alonzo Church Award for Outstanding Contributions to Logic and Computation (2019)
• LICS Test-of-Time Award LICS 1999-2019 (2019)
• "most influential paper" of the PPDP'04 conference (2004)

Publications reflect a trajectory from foundational calculus research to applied blockchain systems, with recent emphasis on decentralized collaboration frameworks and formal methods in smart contracts.