Finley McIlwaine

Finley McIlwaine is a PhD student in formal methods and blockchain technology at the University of Wyoming, working under Dr James Caldwell and Dr Mike Borowczak. His research interests include programming languages, compilers, and formal verification in the context of distributed systems. Finley holds a degree in computer science from the University of Wyoming and started working for IOHK in 2021.