conf.researchr.org / Conor Reynolds
Registered user since Thu 8 Jul 2021
Name:Conor Reynolds
Country:Ireland
Affiliation:Maynooth University
Personal website: https://www.cs.nuim.ie/~creynolds/
GitHub: https://github.com/ConorReynolds
Research interests:Coq, institution theory, Event-B, formal software development
Contributions