Congratulations to Alex Best, Heilbronn Research Fellow in KCL, who has accepted a position as a Research Engineer at a startup company in Palo Alto. Alex will be working on using Artificial Intelligence for formal mathematical reasoning.

Following his PhD from Boston University in 2021 working with Jennifer Balakrishnan, Alex spent a year and a half at the Vrije Universiteit Amsterdam, in the group of Sander Dahmen, before joining KCL as a Heilbronn Research Fellow early last year. Alex has previously worked at TU Kaiserslautern (on the MPIR Library), and studied at the Universities of Cambridge and Warwick. His main research interests are in number theory and computer proof assistants and the formalization of mathematics.

Alex is co-organising a session on Interactions Between Proof Assistants and Mathematical Software at the 2024 International Congress of Mathematical Software (ICMS), which will be held in Durham later this year. ICMS is a bi-annual congress that gathers the mathematicians, scientists and programmers who are interested in the development of mathematical software.

We wish Alex every success in his new position and future research!