KindSoftware: Software Engineering with
Applied Formal Methods
A part of the
Software Engineering Section in the
Department of Informatics and Mathematical Modeling at the
Technical University of Denmark
affiliated with the
Software Development Group,
the Programming, Logic, and Semantics Group,
the Center for Games Research,
the Software Engineering Cluster,
and the Process and System Models group
IT University of Copenhagen.
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!