James Spence

Bio: I am a currently a first-year PhD student a King's College London in the department of Informatics. I studied my undergraduate at the University of Warwick where received my MMath. My PhD supervisor is Mohammad Abdulaziz and my research involves formalising Mathematics in Isabelle/HOL. I am also a member of the CDT: Centre for Safe and Trusted AI who's focus is on using Symbolic AI techniques to create trustworthy and safe AI systems.

Research Interests:

• Formalising matching algorithms with social welfare applications e.g.
  • School Pupil Matching
  • Refugee Resettlement
• Formalising results in differential geometry e.g.
  • Results relating to Green's Theorem
  • The Isoperimetric Problem