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

FTfJP 2021 Author of Using Dafny to Solve the VerifyThis 2021 Challenges within the FTfJP-track