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.

no way to compare when less than two revisions

Erinevused

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


et:strukt:cs [2016/06/26 19:10] (Hetkel kehtiv) – tekitatud - väline muutmine 127.0.0.1
Rida 1: Rida 1:
 +===== Tarkvarateaduse laboratoorium =====
  
 +Juhataja: [[et:strukt:inimesed?pid=74|Tarmo Uustalu]], tel. 620 4250 [[http://cs.ioc.ee/]]
 +
 +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 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 [[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]] [[et:projektid:excite|Eesti IT tippkeskusse EXCITE]], mis on üks üheksast uuest Eesti teaduse tippkeskusest 2016-2013.
 +
 +
 +~~NOCACHE~~
 +
 +
 +==== Inimesed ====
 +
 +<php> $lang="et"; $keel = "nimEK"; $osak=13;
 +  $nr = "Nr"; $nimi = "Nimi"; $amet = "Amet"; $tuba = "Tuba"; $telefon = "Telefon"; $epost = "E-post";
 +  include($_SERVER['DOCUMENT_ROOT']."/wiki_tel.php");  </php>
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