Ewen Maclean

Ewen is a mathematician turned computer scientist specialising in the automation of formal proof. He obtained his PhD from Edinburgh University and has subsequently worked as a lecturer and researcher in Brazil, Spain and Edinburgh, also contributing to industrial case studies in static analysis and program verification.