KindSoftware is led by Joseph Kiniry. Joe is an Associate Professor of Computer Science and a member of the Software Development and Programming, Logic, and Semantics groups at the IT University of Copenhagen.

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.