We are a research group of the Dept. of Software Science of the Tallinn University of Technology. We used to belong to the Institute of Cybernetics (IoC), a research institute that was closed 31 Dec 2016. 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".
The current members of the group are:
Also connected to the group is Hellis Tamm.
Denis Firsov has started a postdoc at U. of Iowa. Keiko Nakata left to FireEye in Dresden, which was shut down, and then further to SAP in Potsdam, and James Chapman to Strathclyde. Andri Saar moved on to Google in London, Boriss Šelajev to VMWare in Sofia.
Danel Ahman, who was an intern with us in 2011, did then a MSc at Cambridge and wrote a PhD thesis at Edinburgh, is now at INRIA Paris. Sandra Schumann from Harvard was an intern with us in 2015.
Further former members of the group include Mohamed El-Zawawy (back in Cairo), Adam Eppendahl (in Malaysia), Ando Saabas (at Skype) and Olha Shkaravska (in Nijmegen).
We collaborate with Varmo Vene of the University of Tartu and Peeter Laud of Cybernetica.
We have been and are pursuing research in a number of directions. Here are some:
Check our list of publications.
We run a regular research seminar, the Theory Seminar (TSEM), and weekly Theory Lunches (the blog).
Our collaboration partners include Nottingham, Minho, Chalmers.
We participated in the European FP6 IST project MOBIUS, the major proof-carrying code project of the Old World, and the FP7 ICT project HATS on trustworthy highly adaptive software. We were part of the COST actions FoVeOOS on verification of object-oriented software, Rich Model Toolkit and BETTY on behavioral type systems. Currently we are contributing to ARVI on runtime verification and EUTYPES on type theory and its applications.
At home, we were part of the Centre of Excellence in Computer Science (EXCS), one of the seven Estonian CoEs 2008-2015. Starting 2016, we are part of Excellence in IT in Estonia (EXCITE), one of the nine new Estonian CoEs 2016-2023. During 2013-2015 we ran the Coinduction project together with U. of Tartu.
We were the organizing team behind these international events: APPSEM 2004, AFP 2004, TFP/ICFP/GPCE 2005, IFIP WG 2.8 Meeting #22, MPC/AMAST 2006, EffTT 2007, NWPT 2008, COST FoVeOOS 2009 Winter School, ETAPS 2012 (the 15th edition of Europe's premier forum for software science), NWPT 2013, AIM XX (2014). In 2015 we hosted TYPES 2015, an Estonian-Finnish logic meeting and a COST ARVI MC&WG meeting.
We are active supporters of EWSCS, an international winter school series in TCS, and the biannual Estonian Theory Days. The latest editions were the Jõeküla, Käo and Lilaste 2 editions of the Theory Days and EWSCS 2016. We organized another EWSCS also in 2017.
We enjoy receiving guests. In 2013-2015, Robin Cockett, Bruno Woltzenlogel Paleo, Andreas Abel, Shin-ya Katsumata, Tomas Petricek, Conor McBride, Gianluigi Bellin, Yuri Gurevich, Wolfgang Ahrendt, Venanzio Capretta, José Espírito Santo, Luís Pinto, Nicolas Wu, Marco Gaboardi visited us.
In 2016, José Nuno Oliveira visited us for three weeks. Alberto Pardo, Venanzio Capretta and Maciej Piróg came for shorter visits.
We used to be interested in good students, PhD students, postdocs. Right now however is not the best time. Try someplace else. Eventually we might re-emerge.