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.

Inimesed

NimiAmet TubaTelefonE-post
Irina ASTROVA vanemteadur B 423620 4219   
Silvio CAPOBIANCO vanemteadur B 421620 4221   
Denis FIRSOV nooremteadur B 327620 4198   
Hele-Mai HAAV vanemteadur B 424620 4213   
Mait HARF teadur B 421620 4221   
Wolfgang JELTSCH vanemteadur B 427620 4220   
Ahto KALJA vanemteadur B 426620 4210   
Eve KANN projektiadministraator B 425620 4211   
Kristiina KINDEL insener B 423620 4219   
Vahur KOTKAS arendusjuht B 422620 4217   
Tiina LAASMA projektiadministraator B 419620 4226   
Hendrik MAARAND insener B 327620 4198   
Riina MAIGRE teadur B 407 620 4240   
Andres OJAMAA teadur B 406620 4223   
Jaan PENJAM projektijuht B 4045147798
620 4214   
Jelena SANKO insener B 406620 4223   
Margarita SPITŠAKOVA insener B 423620 4219   
Hellis TAMM vanemteadur B 427620 4224   
Enn TÕUGU konsultant B 403620 4212   
Tarmo UUSTALU laboratooriumi juhataja
juhtivteadur
B 402 620 4250   
Niccolò VELTRI nooremteadur B 327620 4198   

Viimati muutnud: 2016/06/26 19:10