Ramon Fernández Mir is a PhD student at the University of Edinburgh working on formal verification, with a focus on interactive and automated theorem proving.

---