Paul Cadman

Paul Cadman, holding a PhD in algebraic geometry from the University of Warwick, has made significant contributions across various domains of technology and mathematics. He has developed mobile applications tailored for retail banking and collaborated with scientists from the Alan Turing Institute to implement a proximity exposure algorithm for the NHS England COVID-19 app. His work extends to creating a computational law decision engine for managing global financial regulations. Cadman is an enthusiast for enhancing software system quality through formal methods. In 2018, he founded the Type Driven Development study group, which emphasizes certified programming and the formalization of mathematics.