gabbay.org.uk - Murdoch James Gabbay

home > domains > gabbay.org.uk

Description: Researcher in formal methods, logic, and foundations of computing with applications to software and blockchain systems

Example domain paragraphs

Home Papers Talks BibTex Opinions Treat. invited speaker NEW quantifier Scripts$ Paper writing Hall of fame Good bad ugly Personal Photos Alcohol et al.

Which is worse? Ignorance or apathy? Who knows? Who cares?

Everybody calls me Jamie.

Links to gabbay.org.uk (2)

• thejft.com The Journal of Financial Technology
• htds-workshop.github.io The Workshop on Heterogeneous Trust in Distributed Systems | HTDS 2023