This website presents information about IoC as of 31 December 2016 and is no longer updated.
Tarkvarateaduse laboratoorium
Juhataja: Tarmo Uustalu, tel. 620 4250 http://cs.ioc.ee/
Projektiadministraatorid: Eve Kann, tel. 620 4211, Tiina Laasma, tel. 620 4226
Tarkvarateaduse laboratoorium on Eesti juhtivaid uurimisüksusi arvutiteaduses, iseäranis tarkvarateaduses.
Tarkvarateaduse laboratooriumi uurimissuundadeks on automaatide teooria, funktsionaalne ja sõltuvate tüüpidega programmeerimine, programmeerimiskeelte semantika, programmianalüüsid ja -loogikad, ontoloogiatehnika infosüsteemides, tarkvaraprotsessi parendamine, tarkvara komponeerimine ja visuaalne spetsifitseerimine, modelleerimise ja simuleerimise tööriistad, küberturvalisus.
Tarkvarateaduse laboratoorium koos foneetika ja kõnetehnoloogia laboratooriumiga moodustas Küberneetika Instituudi meeskonna Arvutiteaduse tippkeskuses EXCS. EXCS oli üks seitsmest Eesti teaduse tippkeskusest 2008-2015 (perioodiks 2011-2015 lisandus veel viis tippkeskust).
Alates 2016 kuulub tarkvarateaduse laboratoorium koos juhtimissüsteemide laboratooriumiga Eesti IT tippkeskusse EXCITE, mis on üks üheksast uuest Eesti teaduse tippkeskusest 2016-2013.