Kasutaja tarvikud

Lehe tööriistad


et:strukt:cs
See veebisait esitab teavet KübIst 31. detsembri 2016 seisuga ja seda enam ei uuendata.
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.

Inimesed

et/strukt/cs.txt · Viimati muutnud: 2016/06/26 19:10 persoon 127.0.0.1

© TTÜ Küberneetika Instituut, Akadeemia tee 21, 12618 Tallinn Telefon: 620 4150 Faks: 620 4151