avatar for Michael Peyton-Jones

Michael Peyton-Jones

Software Engineering Lead
Michael Peyton Jones got into programming language design by relentlessly gravitating towards the point of greatest abstraction until someone threw a compiler at him. He cares deeply about making programming languages beautiful and mathematical, but also ergonomic and usable. Michael has a first-class degree in mathematics and philosophy from the University of Oxford. He has been working at IOHK since 2018.