Robert Finlay
Robert Finlay worked with Joe Kiniry in the 2005-2006 academic year on a final year thesis in the School of Computer Science and Informatics at UCD. His project focused on writing a PVS Eclipse plugin.
- A Kind Community
- Who We Are
- Faculty
- Postdoctoral Researchers
- PhD Students
- Researchers
- Past Students
- Maciej Baranski (intern)
- Alan Barrett (MSc)
- Eliott Bartley (BSc)
- Damian Chojna (MSc)
- Dermot Cochran (MSc)
- Eva Darulova
(BSc)
- Barry Denby (BSc)
- Jakub Dostal (intern)
- Robert Finlay (BSc)
- Conor Gallagher (BSc)
- Robin Green (MSc)
- Alan Hicks (MSc)
- Iain Hull (MSc)
- Clément Hurlin (intern)
- Daragh Hurley (BSc)
- Ralph Hyland (MSc)
- Mikoláš Janota (PhD)
- Rory McCann (BSc)
- Alan Morkan (BSc)
- Aidan Morrissey (MSc)
- Niall O'Higgins (BSc)
- Ciaran Palmer (MSc)
- Anara Sandygulova (intern)
- Ralph Skinner (MSc)
- Patrick Tierney (BSc)
- Murat Torlakcik (MSc)
- Barry Denby (BSc)
- Collaborators and Coauthors
- Contributors
- Ideology
- Our Community
KindSoftware is led by Joseph Kiniry. Joe is a Lecturer in Computer Science and leads the KindSoftware: Software Engineering with Applied Formal Methods group in the School of Computer Science and Informatics at University College Dublin.
Copyright © 1993–2006 KindSoftware. :: Page Last Updated: Friday, 27-Jun-2008 16:52:03 IST
Site Design and Photos by CAW ::
XHTML, CSS.