Ph.D. student studying formal methods and software verification. You can find me on the 2nd floor of Eolas Building, North Campus, Maynooth University. My most recent publications are listed below.

The best way to contact me is by email: conor.reynolds@mu.ie
       

Publications