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

• HTM institutional research grant IUT33-13 Methods, tools and processes for software with strong guarantees (Jan. 2015-Dec. 2020) (Tarmo Uustalu, principal investigator, covers our lab and Jüri Vain's chair at TUT Dept. of Computer Science)
• EU structural funds (2014-2020) (HTM/Archimedes) project 2014-2020.4.01.15-0018 Excellence in IT in Estonia, EXCITE (4 March 2016-1 March 2023) (TUT, Maarja Kruusmaa, beneficiary; covers our lab and the Control Systems Lab)

Projects recently finished

• HTM target-financed research theme 0140007s12 Dependable Software and Human Language Technologies (Jan. 2012-Dec. 2014) (Tarmo Uustalu, principal investigator; covered our lab and the Lab. for Phonetics and Speech Technology)
• HTM target-financed research theme 0322709s06 Dependable Software and Human Language Technologies (Jan. 2006-Dec. 2011) (Tarmo Uustalu, principal investigator; covered our lab 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 lab and the Lab. for Phonetics and Speech Technology)
• ETAG personal research grant PUT763 Sound and efficient functional reactive programming (Jan. 2015-Dec. 2016) (Wolfgang Jeltsch, principal investigator)
• ETF grant project 9475 Mathematical structures in programming languages (Jan. 2012-Dec. 2015, extended until March 2016) (Tarmo Uustalu, principal investigator)
• ETF grant project 9398 Verifiable guarantees for concurrent software (Jan. 2012-Dec. 2015, extended until March 2016) (Keiko Nakata → Silvio Capobianco, principal investigator)
• ETF grant project 9219 Certified checkers for software certification (Jan. 2012-Dec. 2015) (James Chapman, principal investigator)
• 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 cyber defence (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) ICT programme project 3.2.1201.13-0029 Coinduction for semantics, analysis and verification of communicating and concurrent reactive software (1 March 2013-31 Aug. 2015, extended until 30 Nov. 2015) (IoC, Tarmo Uustalu, beneficiary; DCS-UT partner)
• Operational programme for the development of the economic environment (HTM/Archimedes) ICT programme project 3.2.1201.13-0026 Model-based Java software development technology (1 March 2013-31 Aug. 2015, extended until 30 Nov. 2015) (IoC, Jaan Penjam, beneficiary; Aktors OÜ, Bole OÜ partners)
• Operational programme for the development of the economic environment (HTM/Archimedes) project 3.2.0301.12-0467 Upgrades to Small-Scale Research Infrastructure within Research Theme No. SF0140007s12 (1 Jan. 2013-13 Dec. 2013) (TUT(IoC), Tarmo Uustalu, beneficiary; covers our lab and the Lab. for Phonetics and Speech Technology)
• 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 lab and the Lab. for Phonetics and Speech Technology)
• Operational programme for the development of the human resources (HTM/Archimedes) project 1.2.0401.09-0081 Doctoral School in Information and Communication Technologies, IKTDK (1 Jan. 2009-31 Aug. 2015) (TUT, Ennu Rüstern, beneficiary; UT, IoC partners)
• 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)
• 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, IKTDK (1 Sept. 2005-30 June 2008, extended until 31 Oct. 2008) (TUT, Ennu Rüstern, beneficiary; UT, IoC, CybAS partners)

European projects

Ongoing projects

• COST action CA15123 The European Research Network on Types for Programming and Verification, EUTYPES (21 March 2016-20 March 2020) (Herman Geuvers, action chair, Tarmo Uustalu, vice-chair; Varmo Vene, MC member for Estonia)
• COST action IC1402 Runtime Verification beyond Monitoring, ARVI (17 Dec. 2014-16 Dec. 2018) (Martin Leucker, action chair; Volker Stolz,vice-chair; Tarmo Uustalu, MC member for Estonia; Vesal Vojdani, substitute MC member)
• ETAG/Campus France Parrot programme bilateral project Mathematical Structures for Dualities in Programming Languages (Jan. 2017-Dec. 2018) (Tarmo Uustalu, IoC, Pierre-Louis Curien, IRIF, Paris, project co-leaders)

Projects recently finished

• H2020 WIDESPREAD/TEAMING programme CSA 664564 Centre of Excellence on Connected Digital Economy, EE-IT (1 June 2015-1 June 2016; ETAG, Jaak Vilo, coordinator; U Edinburgh, UT, TUT, partners)
• FP7 ICT programme 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)
• 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)
• COST action IC1201 Behavioural Types for Reliable Large-Scale Software Systems, BETTY (26 Oct. 2012-25 Oct. 2016) (Simon Gay, action chair; Antonio Ravara, vice-chair; Keiko Nakata, Tarmo Uustalu, MC members for Estonia)
• COST action IC0901 Rich Model Toolkit - An Infrastructure for Reliable Computer Systems (30 Oct. 2009-29 Oct. 2013) (Viktor Kuncak → César Sanchez, action chair; Roderick Bloem, 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, action chair; Reiner Hähnle, vice-chair; Tarmo Uustalu, MC member for Estonia)
• 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 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)
• 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)