I am a fourth year PhD student at the University of Bath. My supervisors are Jim Laird and Alessio Guglielmi. My area of research is Game Semantics, which studies statements and proofs (or types and functions in a higher-order programming language) by modelling them as two-player games and strategies.
|My Maths page|
|Written Work (a selection)|
I am a Stack Exchange user! Below are two pieces of 'flair' that summarize 1) my combined activity on all Stack Exchange sites and 2) my activity on the Mathematics Stack Exchange.
If I were a Springer-Verlag Graduate Text in Mathematics, I would be Robin Hartshorne's Algebraic Geometry.
My creator studied algebraic geometry with Oscar Zariski and David Mumford at Harvard, and with J.-P. Serre and A. Grothendieck in Paris. After receiving his Ph.D. from Princeton in 1963, he became a Junior Fellow at Harvard, then taught there for several years. In 1972 he moved to California where he is now Professor at the University of California at Berkeley. My siblings include "Residues and Duality" (1966), "Foundations of Projective Geometry (1968), "Ample Subvarieties of Algebraic Varieties" (1970), and numerous research titles. My creator's current research interest is the geometry of projective varieties and vector bundles. He has been a visiting professor at the College de France and at Kyoto University, where he gave lectures in French and in Japanese, respectively.
My creator is married to Edie Churchill, educator and psychotherapist, and has two human sons and one daughter. He has travelled widely, speaks several foreign languages, and is an experienced mountain climber. He is also an accomplished musician, playing flute, piano, and traditional Japanese music on the shakuhachi.
Which Springer GTM would you be? The Springer GTM Test
W. John Gowers's talk probed not only into the nature of nondeterminism but also into the tragedy of human existence. His deadpan sense of humour reminded me of a younger Byron Cook. #CSL2018Posted by Dan Razvan Ghica on Friday, 7 September 2018