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.

Got error 28 from storage engine - 18:28:48