Homepage of Andrey Bovykin

I studied mathematics in St.Petersburg University (and before that in Gymnasium 30 of St.Petersburg).

I did my PhD at the University of Birmingham, England in 1996-2000 under the supervision of Richard Kaye. My thesis title was "On order-types of models of arithmetic".

My doctoral defense (viva) was on July 13, 2000 (examiner: Professor Wilfrid Hodges).

In the two years since summer 2000, I made three "postdoctoral" visits: to Mittag-Leffler Institute (Sweden) in October - December 2000, to Istanbul Bilgi University in March - December 2001 and to the University of Helsinki in February - July 2002.

In September 2002 I went to my home city of St.Petersburg to join the Laboratory of Mathematical Logic of Steklov Mathematical Institute, Russian Academy of Sciences.

From June 2004 until March 2007, I had a temporary job as a computer scientist among the group of logic and computation, Liverpool University.

Then I moved to Bristol in summer 2008 to join the Mathematics Department of Bristol University. My current research project "The Study of Unprovability" is funded by the John Templeton Foundation, to which I am very grateful for their support and for appreciating my research.


My research subject is metamathematics and its neighbours. The general field is often called mathematical logic or foundational studies. Click below on "Andrey's research" for details...

I am temporarily NOT accepting new papers for refereeing (with the exception of crucial papers that directly affect my research).

If you need or wish to talk to me about mathematics (or meta-mathematics! or even about meta-meta-mathematics!!!) - you can email me, telephone me or visit me in Bristol.


Andrey's Research

Current Teaching