KindSoftware: Software Engineering with
Applied Formal Methods

A migrating research group run by Joe Kiniry. KindSoftware has been hosted in The Netherlands at Radboud University Nijmegen (2002-2004), in Ireland at University College Dublin (2004-2009), and in Denmark at the IT University of Copenhagen (2009-2012), and the Technical University of Denmark (2012-2013). Joe now is a Principal Investigator at Galois in Portland, Oregon.

The Quick Summary

KindSoftware is dedicated to quality software through the use of formal methods, quality software technology, and wise use of modern software engineering principles.

Want to learn more about how to build high quality products? How to design architectures that you can be proud of? How to ship software that never crashes and has no bugs?

Want to know what tools, foundations, and techniques can help you accomplish these goals? Are you interested in supporting the formal methods community or have a tool, process, product, or theory of your own to promote?

If you answered yes to any of these questions, then you have come to the right place!


The KindSoftware research group is partially funded by the Danish Council for Strategic Research by the Programme Commission on Strategic Growth Technologies via the DemTech project, the European Project Mobius within the IST 6th Framework and CHARTER and VARIES within the IST 7th Framework, the Science Foundation Ireland via the UCD CASL SenseTile System grant and the Lero, the Irish Software Engineering Research Centre, Enterprise Ireland, the IRCSET Embark Initiative, the EU Framework Program via the COST Program (European Cooperation in the field of Scientific and Technical Research) action IC0701 "Formal Verification of Object-Oriented Software," and various UCD Seed Funding Initiatives. Our total funding since 2005 is approximately 2.75M Euro.

Follow Professor Kiniry on Twitter!