Contact

Biography

Jeremy obtained his PhD from the Department of Applied Mathematics and Theoretical Physics at the University of Cambridge with a thesis entitled "Linear and Nonlinear Dynamics in Stratified Shear Flows". After three years as a postdoctoral research at EPFL in Switzerland, under the supervision of Tobias Schneider, he moved to Dundee in December 2023.

Research

I develop computational methods for studying the abstract mathematical concept of dynamical systems, and concrete applications of these to areas such as biology and mechanics. In many cases, these applications need a description using partial differential equations. I am particularly interested in using computers to prove rigorous mathematical results when pen-and-paper analysis becomes too complicated.
Specific areas of research include:

  •  using polynomial optimisation to prove bounds on dynamical systems
  •  using generative artificial intelligence techniques to find solutions to equations
  •  using "proof assistant" programming languages to write mathematical proofs

PhD Projects

Principal supervisor