November 2009

Joe Kiniry has accepted an Associate Professor position at IT University of Copenhagen (ITU). Thus, the KindSoftware group is moving in January, 2010 to Copenhagen.

October 2009

A paper How to Complete an Interactive Configuration Process? by Mikoláš Janota, Goetz Botterweck, Radu Grigore, and Joao Marques-Silva was accepted to SOFSEM'10.

August 2009

Eight new MSc students have joined the group.

Joe Kiniry is on the Program Committee of ICECCS 2010.

A paper, "A Verification-centric Software Development Process for Java," by Joseph Kiniry and Daniel Zimmerman is being presented by Dan in Korea.

July 2009

Mikoláš Janota presented the command line processing library CLOPS at the IFIP Working Conference on Domain Specific Languages (DSL WC), see also the conference blog.

June 2009

Mikoláš Janota was invited to give a talk at a Czecho-Slovakian conference on current trends in theoretical computer science and wrote a blogpost about it.

May 2009

Joe Kiniry is on the Program Committee of VSTTE 2010, RE-VOTE 2009, and SAVCBS 2009.

Joe Kiniry was invited to participate in four Schloss Dagstuhl seminars this year, and is co-running one of his own.

more news...

KindSoftware: Software Engineering with
Applied Formal Methods

A part of the Systems Research Group,
a member of the CASL: Complex & Adaptive Systems Laboratory,
within the School of Computer Science and Informatics,
at University College Dublin

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!

Most Recent Major Site Updates

The KindSoftware group is moving from University College Dublin to the IT University of Copenhagen (ITU) in January 2010! Students interested in obtaining a PhD position with Dr. Kiniry should apply for a research position at ITU. The next application deadline is in mid-April for an Autumn 2010 start.

The KindSoftware research group is partially funded by the European Project Mobius within the IST 6th Framework and CHARTER 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 1.5M Euro.