Gabe has significant experience in functional programming and formal reasoning. He has a Ph.D in Computer Science from University of Nottingham where his thesis was on Quotient inductive-inductive types. His MSc. Computer Science is from Universiteit Utrecht where he focused on languages and compilers, program verification, and type theory. Prior to Adjoint he worked at Standard Chartered Bank on risk systems.