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.

Directions

We are co-located with the Systems Research Group on the third floor of UCD CASL, Belfield Office Park building #8, Clonskeagh, Dublin 4, which is a fifteen minute walk from the main UCD campus. We have a local restaurant with ATM facilities and a "Rocketfoods" cafe in the CASL common room on the fourth floor.