Erinevused

Siin näed erinevusi valitud versiooni ja hetkel kehtiva lehekülje vahel.

Lõlita võrdlemise vaatele

et:strukt:cs [2016/03/15 02:59]
Tarmo Uustalu [Tarkvarateaduse laboratoorium] lisatud info EXCITE kohta
et:strukt:cs [2016/06/26 19:10] (Hetkel kehtiv)
Tarmo Uustalu [Tarkvarateaduse laboratoorium]
Rida 5: Rida 5:
 Projektiadministraatorid: [[et:strukt:inimesed?pid=22|Eve Kann]], tel. 620 4211, [[et:strukt:inimesed?pid=151|Tiina Laasma]], tel. 620 4226 Projektiadministraatorid: [[et:strukt:inimesed?pid=22|Eve Kann]], tel. 620 4211, [[et:strukt:inimesed?pid=151|Tiina Laasma]], tel. 620 4226
  
-[[http://cs.ioc.ee/|Tarkvarateaduse laboratoorium]] on Eesti juhtivaks uurimisüksuseks arvutiteaduses, täpsemalt tarkvarateaduses.+[[http://cs.ioc.ee/|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 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 [[phon|foneetika ja kõnetehnoloogia laboratooriumiga]] moodustas Küberneetika Instituudi meeskonna [[:et:projektid:excs|Arvutiteaduse tippkeskusesEXCS]]. EXCS oli üks seitsmest Eesti teaduse tippkeskusest 2008-2015 ja üks 12 Eesti teaduse tippkeskusest perioodil 2011-2015.+Tarkvarateaduse laboratoorium koos [[phon|foneetika ja kõnetehnoloogia laboratooriumiga]] moodustas Küberneetika Instituudi meeskonna [[:et:projektid:excs|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 [[cc|juhtimissüsteemide laboratooriumiga]] Eesti IT tippkeskusseEXCITE, mis on üks üheksast uuest Eesti teaduse tippkeskusest 2016-2013.+Alates 2016 kuulub tarkvarateaduse laboratoorium koos [[cc|juhtimissüsteemide laboratooriumiga]] [[et:projektid:excite|Eesti IT tippkeskusse EXCITE]], mis on üks üheksast uuest Eesti teaduse tippkeskusest 2016-2013.