Skip to Main Content
Profile image holder

Dr Marco Caminati

Assistant Professor (Lecturer) in Computer Science

Marco Caminati is an Assistant Professor Lancaster University Leipzig School of Computing and Communications, after having been an Associate Lecturer in Computer Science at the University of St Andrews and Principal Investigator of a four-year MRC-UKRI project. He does research at some spots at the frontier between Mathematics and Computer Science: using logic to combine proof assistants and constraint solvers to provide certified, correct-by-construction solutions to problems in high-stakes domains such as healthcare and finance; and taking advantage of computers to find new mathematical results and new proofs for existing ones, especially to make them amenable to full certification using formal methods.

Back to Top