Projects

As IoC is not involved in teaching (except doctoral education) and the financing of R&D in Estonia is project-based, we are entirely dependent on funding from projects. (Small baseline financing is awarded by HTM to R&D institutions since the fiscal year 2005. Prior to that, no baseline financing existed.)

Domestic projects

Ongoing projects

• Operational programme for the development of the economic environment (HTM/Archimedes) project 3.2.0101.08-0013 Centre of Excellence in Computer Science, EXCS (7 July 2008-31 Aug. 2015) (IoC, Tarmo Uustalu, beneficiary; CybAS, DCS/UT partners)
• Operational programme for the development of the human resources (HTM/Archimedes) project Doctoral School in Information and Communication Technologies (IKTDK) (2009-2015) (TUT, Ennu Rüstern, beneficiary; UT, IoC partners)
• HTM target-financed research theme 0140007s12 Dependable Software and Human Language Technologies (Jan. 2012-Dec. 2014) (Tarmo Uustalu, principal investigator; covers our dept. and the Lab. for Phonetics and Speech Technology)
• ETF grant project 9475 Mathematical structures in programming languages (Jan. 2012-Dec. 2015) (Tarmo Uustalu, principal investigator)
• ETF grant project 9398 Verifiable guarantees for concurrent software (Jan. 2012-Dec. 2015) (Keiko Nakata, principal investigator)
• ETF grant project 9219 Certified checkers for software certification (Jan. 2012-Dec. 2015) (James Chapman, principal investigator)

Projects recently finished

• HTM target-financed research theme 0322709s06 Dependable Software and Human Language Technologies (Jan. 2006-Dec. 2011) (Tarmo Uustalu, principal investigator; covered our dept. and the Lab. for Phonetics and Speech Technology)
• HTM Estonian CoE in research Centre for Dependable Computing, CDC (5 Nov. 2002-31 Dec. 2007) (IoC, Jaan Penjam, coordinator; DCS-TUT, DCE-TUT, DCC-TUT, DCS-UT, TUIT, CybAS, partners)
• HTM target-financed theme 0321769s01 Ontology-Oriented Programming (Jan. 2001-Dec. 2005) (Jaan Penjam, principal investigator; covered our dept. and the Lab. for Phonetics and Speech Technology)
• ETF grant project 7520 Algebraic Automata Theory (Jan. 2008-Dec. 2011) (Hellis Tamm, principal investigator)
• ETF grant project 7134 Set Theory, Automorphisms and External Forcing (Jan. 2007-Dec. 2010, shortened to Dec. 2009) (Sergei Tupailo, principal investigator)
• ETF grant project 7091 Modelling and Simulation of the Dynamics of Technical Chain Systems Described by Multi-Pole Models (Jan. 2007-Dec. 2008) (Mait Harf, principal investigator)
• ETF grant project 6940 Program Logics, Type Systems and Trustworthy Code Generation (Jan. 2007-Dec. 2010) (Tarmo Uustalu, principal investigator)
• ETF grant project 6886 Logic-Based Methods for Composition of Distributed Applications (Jan. 2006-Dec. 2009) (Enn Tyugu, principal investigator)
• ETF grant project 5867 Modelling and Simulation of Electro-Hydraulic Load-Sensing Systems in the NUT Programming System (Jan. 2004-Dec. 2005) (Mait Harf, principal investigator)
• ETF grant project 5766 CAD Problem Solving and Technical Systems Modelling Using Distributed Knowledge-Based Systems (Jan. 2004-Dec. 2007) (Ahto Kalja, principal investigator)
• ETF grant project 5567 Nonclassical Logics and Programming Theory (Jan. 2003-Dec. 2006) (Tarmo Uustalu, principal investigator)
• ETF grant project 5400 An Extendible Visual Specification Languge with a Supporting Environment (Jan. 2003-Dec. 2005) (Enn Tyugu, principal investigator)
• EAS applied research project Rule-Based Systems for Creation of Web-Services (15 March 2004-15 Sept. 2005) (IoC, Hele-Mai Haav, coordinator; DCS-TUT, Sampo Baltic Asset Mgmt, Cell Network, partners)
• KM project 372/0807 Simulation Software for Cyberdefence (31 March 2008-31 March 2011) (Vahur Kotkas, principal investigator)
• KM project 508/0711 Simulation software for cyber attacks and defence (11 Nov 2007-22 Feb 2008) (Vahur Kotkas, principal investigator)
• Operational programme for the development of the economic environment (HTM/Archimedes) project 3.2.0301.09-0019 Upgrades to Small-Scale Research Infrastructure within Research Theme No. SF0322709s06 (1 Jan. 2010-21 Dec. 2010) (TUT(IoC), Tarmo Uustalu, beneficiary; covered our dept. and the Lab. for Phonetics and Speech Technology)
• RAK Measure 2.3 (MKM/EAS) project Development of Infrastructure of the Centre for Dependable Computing, CDC-INFRA (21 Sept. 2005-30 June 2007) (IoC, Jaan Penjam, beneficiary)
• RAK Measure 1.1 (HTM/Innove) project 1.0101-0275 Establishment of an International Postdoctoral Programme at the Institute of Cybernetics (1 Sept. 2005-30 June 2008) (IoC, Sven Nõmm, beneficiary)
• RAK Measure 1.1 (HTM/Innove) project 1.0101-0238 Doctoral School in Information and Communication Technology (1 Sept. 2005-30 June 2008, extended until 31 Oct. 2008) (TUT, Ennu Rüstern, beneficiary; UT, IoC, CybAS partners)

European projects

Ongoing projects

• ICT integrated project 231620 Highly Available and Trustworthy Software Using Formal Models, HATS (1 March 2009-28 Feb. 2013) (Chalmers Tekniska Högskola, Reiner Hähnle, coordinator; IoC, Tarmo Uustalu, partner; IoC start date 1 May 2010)
• COST action IC0901 Rich Model Toolkit - An Infrastructure for Reliable Computer Systems (30 Oct. 2009-29 Oct. 2013) (Viktor Kuncak, MC chair; Roderick Bloem, MC vice-chair; Jaan Raik and Tarmo Uustalu, MC members for Estonia)
• COST action IC0701 Formal Verification of Object-Oriented Software (11 March 2008-10 March 2012) (Bernhard Beckert, MC chair; Reiner Hähnle, MC vice-chair; Tarmo Uustalu, MC member for Estonia)
• ETF/Égide Parrot programme bilateral project Formal Semantics for Synchronous Languages with Mixed Data and Control Flow (Jan. 2011-Dec. 2012) (Tarmo Uustalu, IoC, Marc Pantel, IRIT, Toulouse, project co-leaders)

Projects recently finished

• FP6 IST programme integrated project 15905 Mobility, Ubiquity, Security for Small Devices, MOBIUS (1 Sept. 2005-31 Aug. 2009) (INRIA → Univ. Polit. Madrid, Gilles Barthe, coordinator; IoC, Tarmo Uustalu, partner)
• FP6 IST programme coordination action 510996 Types for Proofs and Programs, TYPES (1 Sept. 2004-30 Aug. 2007, extended until 30 April 2008) (Chalmers TU, Bengt Nordström, coordinator; IoC, Tarmo Uustalu, partner)
• FP5 IST programme thematic network IST-2001-38957 Applied Semantics II, APPSEM II (1 Jan. 2003-31 Dec. 2005, extended until 30 June 2006) (LMU München, Martin Hofmann, coordinator; IoC, Tarmo Uustalu, partner)
• FP5 IST programme accompanying measures project IST-2001-37592 Establishment of the Virtual Center of Excellence for IST RTD in Estonia, eVikings II (1 Nov. 2002-30 Apr. 2005, extended until 30 Sept. 2005) (IoC, Jaan Penjam, coordinator; UT, TUT, Archimedes, EITSA, CybAS et al. partners)
• Royal Society European Science Exchange Programme joint research project Programming with Algebras, Coalgebras, Monads and Comonads (July 2003-June 2005) (Neil Ghani, U of Leicester, UK project leader, Tarmo Uustalu, IoC, overseas project leader)
• ETF/Égide Parrot programme bilateral project Types and Proofs for Software Safety (Jan. 2003-Dec. 2004) (Tarmo Uustalu, IoC, Gilles Barthe, INRIA Sophia Antipolis, project co-leaders)