January 2014

Joe Kiniry starts work as a Principal Investigator at Galois in Portland, Oregon.

October 2013

Joe Kiniry resigns his professorship at DTU to return to the USA and industry. In January he will be a Principal Investigator at Galois in Portland, Oregon.

April 2013

A paper "Formal Model-based Validation for Tally Systems" by Joseph Kiniry and Dermot Cochran has been accepted to VoteID'13.

A paper "A Rigorous Methodology for Analyzing and Designing Plug-Ins" by Marie Fasie, Anne Haxthausen, and Joseph Kiniry has been accepted to TOPI'13.

March 2013

Joe Kiniry is on the Program Committee of ASE-Tools.

Joe Kiniry is on the Program Committee of SEFM'13.

February 2013

Photos, slides, and the streamed recording of Joe Kiniry's inaugural lecture at the Technical University of Denmark are now available.

more news...

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 was 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 in excess of $40M.

Follow Professor Kiniry on Twitter!