Head: Tarmo Uustalu, phone +372 620 4250 http://cs.ioc.ee/

Project administrators: Eve Kann, phone +372 620 4211, Tiina Laasma, phone +372 620 4226

The Laboratory of Software Science is among the leading Estonian research units in computer science, specifically software science.

The research directions of the Laboratory of Software Science are automata theory, functional and dependently typed programming, semantics of programming languages, program analyses and program logics, ontology engineering in information systems, software process improvement, software composition and visual specification, tools for modelling and simulation and cyber defense.

The Laboratory of Software Science together with the Laboratory of Phonetics and Speech Technology constituted the IoC team of the Centre of Excellence in Computer Science, EXCS. EXCS was of the seven Estonian national centres of excellence in research 2008-2015 (five more centres were added for 2011-2015).

From 2016, the Laboratory of Software Science with the Laboratory of Control Systems is part of Excellence in IT in Estonia, EXCITE, one of the nine new Estonian national centres of excellence in research 2016-2023.