Daniel Platt

• Year

  2023

• Program

  AI in Sci

• Institution

  Imperial College London

• Field of Study

  Mathematics and computer sciences

I’m a Chapman-Schmidt fellow (postdoc) at Imperial College London, researching applications of machine learning to rigorous proof in differential geometry. Before this, I did a postdoc at King’s College London, and obtained my PhD from Imperial College in 2022 under the supervision of Simon Donaldson and Jason Lotay. My PhD was in differential geometry and I have worked on some machine learning projects and events, for example organising the summer school “London Geometry and Machine Learning”.