We are an informal subgroup of the Lab for High-Assurance Software of the Dept. of Software Science of the Tallinn University of Technology (TUT).
We used to belong to the Institute of Cybernetics (IoC), a research institute that was closed 31 Dec 2016 in connection to a major reorganization of TUT. In the new organization, we were merged with the Formal Methods Group of the Dept. of Computer Science.
We pursue "Theory B": logic, semantics and theory of programming.
In the national evaluation exercise of ICT R&D 2009-2014, we were rated "excellent", which was the highest possible mark.
The current members of the group are:
In addition, as a permanent external collaborator we have:
Our former members include:
As interns, we have hosted:
Within the department, we collaborate closely with the Formal Methods Group of Jüri Vain and the Compositional Systems and Methods "TallCats" Group of Pawel Sobocinski.
We conduct research into a number of directions:
Check our list of publications.
We run a regular (almost weekly) research seminar, the Theory Seminar (TSEM). We host the fortnightly Tallinn Theory Lunches (see the blog).
Our collaboration partners include Nottingham, Minho, Chalmers.
We participated in the European FP6 IST project MOBIUS (2005-2009), the major proof-carrying code project of the Old World, and the FP7 ICT project HATS (2009-2013) on trustworthy highly adaptive software. We were part of the COST actions FoVeOOS (2008-2012) on verification of object-oriented software, Rich Model Toolkit (2009-2013), BETTY (2012-2016) on behavioral type systems, ARVI (2014-2018) on runtime verification and EUTYPES (2016-2020) on type theory and its applications.
At home, we were part of the Centre of Excellence in Computer Science (EXCS), which was one of the seven Estonian CoEs 2008-2015. We are part of Excellence in IT in Estonia (EXCITE), one of the nine Estonian CoEs 2016-2023. We ran the Coinduction project of the Estonian ICT research programme 2013-2015. Four of us are currently supported by the Estonian IT Academy research measure (2018-2022).
We were the organizing team behind all these international events that happened in Estonia: APPSEM 2004, AFP 2004, TFP/ICFP/GPCE 2005, IFIP WG 2.8 Meeting #22 (2005), MPC/AMAST 2006, EffTT 2007, NWPT 2008, COST FoVeOOS 2009 Winter School, ETAPS 2012, NWPT 2013, AIM XX (2014), TYPES 2015, Estonian-Finnish logic meeting of 2015, COST ARVI MC&WG meeting (2015), NWPT 2019.
We are active supporters of the annual EWSCS international winter schools in TCS and the annual Estonian-Latvian CS Theory Days. The latest editions were EWSCS 2019, the Theory Days in Pärnu (2019) and EWSCS 2020.
We enjoy receiving guests. In 2018-2019, we hosted Renato Neves (U. of Minho), Pierre Guillon (Institut Poncelet), Exequiel Rivas (IRIF), Georg Struth and Simon Doherty (U. of Sheffield), José Espírito Santo and Luís Pinto (U. of Minho), Marino Miculan (U. of Udine), Margus Veanes (Microsoft Research Redmond).
We teach courses on programming languages, verification, algorithms and data structures and mathematics for computer science:
If you are interested in doing a PhD with one of us, get in touch - there may be opportunities for this.
Also, if you would like to visit and give a seminar talk, email us.