John Gowers

My research

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)

Stack Exchange

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.

profile for Donkey_2009 on Stack Exchange, a
network of free, community-driven Q&A sites profile for Donkey_2009 at Mathematics Stack
Exchange, Q&A for people studying math at any level and professionals in
related fields

Which Springer graduate text in Mathematics am I?

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

Praise (?) on Facebook

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. #CSL2018

Posted by Dan Razvan Ghica on Friday, 7 September 2018

Contact details

Full Name:
John Gowers
E-mail Address:
Postal Address:
Mr John Gowers
Dept of Computer Science
University of Bath
United Kingdom