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.
Name Position
Room Phone Email
Irina ASTROVA
senior researcher
B 423 620 4219
irina [at] cs.ioc.ee
Silvio CAPOBIANCO
senior researcher
B 421 620 4221
silvio [at] cs.ioc.ee
Denis FIRSOV
junior researcher
B 327 620 4198
denis [at] cs.ioc.ee
Hele-Mai HAAV
senior researcher
B 424 620 4213
helemai [at] cs.ioc.ee
Mait HARF
researcher
B 421 620 4221
mait [at] cs.ioc.ee
Wolfgang JELTSCH
senior researcher
B 427 620 4220
wolfgang [at] cs.ioc.ee
Ahto KALJA
senior researcher
B 426 620 4210
ahto [at] cs.ioc.ee
Eve KANN
project administrator
B 425 620 4211
eve [at] cs.ioc.ee
Kristiina KINDEL
engineer
B 423 620 4219
kristina [at] cs.ioc.ee
Vahur KOTKAS
development manager
B 422 620 4217
vahur [at] cs.ioc.ee
Tiina LAASMA
project administrator
B 419 620 4226
tiina [at] cs.ioc.ee
Hendrik MAARAND
engineer
B 327 620 4198
hendrik [at] cs.ioc.ee
Riina MAIGRE
researcher
B 407 620 4240
riina [at] ioc.ee
Andres OJAMAA
researcher
B 406 620 4223
andres.ojamaa [at] cs.ioc.ee
Jaan PENJAM
project manager
B 404 5147798 620 4214
jaan [at] cs.ioc.ee
Jelena SANKO
engineer
B 406 620 4223
jelena [at] cs.ioc.ee
Margarita SPITŠAKOVA
engineer
B 423 620 4219
margo [at] cs.ioc.ee
Hellis TAMM
senior researcher
B 427 620 4224
hellis [at] cs.ioc.ee
Enn TÕUGU
consultant
B 403 620 4212
tyugu [at] ieee.org
Tarmo UUSTALU
leading research scientist head of laboratory
B 402 620 4250
tarmo [at] cs.ioc.ee
Niccolò VELTRI
junior researcher
B 327 620 4198
niccolo [at] cs.ioc.ee