Tarkvarateaduse instituut

Tarkvarateaduse instituut soovib oma tegevusvaldkonnas olla partneriks:

• ettevõtetele, pakkudes teaduslikult põhjendatud praktilisi lahendusi läbi ühiste teadus-arendusprojektide ning kõigil õppetasemetel tudengiprojektide kaasjuhendamist;
• ühiskonnale ja riigile vastutustundliku visionäärina ja autoriteetse professionaalse nõustajana, pakkudes inseneri ja teadlase kutse-eetikast lähtuvaid teaduslikult põhjendatud ja praktikas toimivaid eksperthinnanguid ja nõustamist;
• teistele ülikoolidele ja akadeemilistele organisatsioonidele, panustades ühiselt teaduse ja tehnoloogia piiride nihutamisse;

Infotehnoloogia teaduskonna kodulehelt leiad infot, millised on võimalikud koostöövormid ülikooli ja partneri vahel ning kuidas tagame info konfidentsiaalsuse. Tarkvarateaduse instituudi uurimisrühmade kompetentsid jagunevad kuude koostöövaldkonda.

Tehisintellekt ja keeletehnoloogiad

• Rakendusliku tehismõistuse töörühm
  Masinõpe, automatiseeritud inimlaadne arutlus (common sense reasoning), ontoloogiapõhine arutlus, tehismõistusel põhinevad ruumiandmete töötlemise meetodid, soovitussüsteemid, loogikapõhised tarkvarasüsteemid, robotite tarkvara, manipulaatorite juhtimine, - navigeerimine ja - kaardistamine, tehisnägemise rakendused.

• Tugevalt tagatud tarkvara laboratoorium: formaalmeetodite grupp
  Tarkvara verifitseerimine ja testimine, autonoomsete maismaa- ja veesõidukite navigeerimine, liigutustepõhine tervisediagnostika, 

• Mittelineaarsete juhtimissüsteemide töörühm
  Mittelineaarsed juhtimissüsteemid, algebralised meetodid, energiasüsteemid, aegridade analüüs

• Keeletehnoloogia laboratoorium
  NLP – loomuliku keele analüüs, kõnetehnoloogia, foneetika, kõnekorpused, süvaõppe rakendused

• Tehisintellekti- ja robootikakeskus AIRE
  Tarkvarateaduse instituudi uurimisrühmad osalevad  mitmetes tehisintellekti tootmisettevõtetes rakendamise koostööprojektides AIRE kaudu.

IT-süsteemide turvalisus ja usaldusväärsus

• Küberkriminalistika ja küberjulgeoleku keskus
  Küberkaitse, digitaalne ekspertiis, krüptograafia, küberintsidentide käsitlemine ja küberkaitse õppused

• Usaldusväärse tarkvara tehnoloogiad:

  • Kompositsiooniliste süsteemide ja meetodite laboratoorium
    Kompositsionaalsus, programmeerimiskeeled, usaldusväärne tarkvara, string-skeemid, tõestussüsteemid, relatsioonilised meetodid, kvantarvutus

  • Loogika ja semantika grupp
    Funktsionaalne ja sõltuvalt tüübitud programmeerimine, tarkvara verifitseerimine ja testimine, formaalsed keeled ja kompilaatorite tehnoloogiad

Targad ja energiatõhusad keskkonnad

• Proaktiivtehnoloogiate laboratoorium
  Küber-füüsikalised süsteemid, spontaansed sensorvõrgud, süvaõpe, riigiülese tervikliku olukorrateadlikkuse võimekus, tehisnägemine, segmenteerimine 2D ja 3D keskkondades
• Mittelineaarsete juhtimissüsteemide töörühm
  Energiasüsteemid, autonoomsed sõidukid, mittelineaarsed juhtimissüsteemid, algebralised meetodid

Andmeteadus

• Infosüsteemide töörühm
  Infosüsteemid, e-riik, e-valitsus, e-tervis, andmeteadus, süsteemiarhitektuur, süsteemidisain, andmebaasid, suuremahulised süsteemid
• Rakendusliku tehismõistuse töörühm
  Masinõpe, automatiseeritud inimlaadne arutlus (common sense reasoning), ontoloogiapõhine arutlus, tehismõistusel põhinevad ruumiandmete töötlemise meetodid, soovitussüsteemid, loogikapõhised tarkvarasüsteemid, robotite tarkvara, manipulaatorite juhtimine, - navigeerimine ja - kaardistamine, tehisnägemise rakendused.

Riigivalitsemise tehnoloogiad

• Infosüsteemide töörühm
  Infosüsteemid, e-riik, e-valitsus, e-tervis, andmeteadus, süsteemiarhitektuur, süsteemidisain, andmebaasid, suuremahulised süsteemid

• Digiriigi tehnoloogiate ja - arhitektuuri uurimisrühm
  Avaliku sektori digitaalne transformatsioon, avalike teenuste arendus, andmevahetusplatvormid ja automatiseerimine

• Küberkriminalistika ja küberjulgeoleku keskus
  Küberkaitse, digitaalne ekspertiis, krüptograafia, küberintsidentide käsitlemine ja küberkaitse õppused

Tarkvaratehnoloogiad

• Äriinfotehnoloogia töörühm
  Infosüsteemide arenduse koolitused, professionaalne tarkvara, äritarkvara

• Usaldusväärse tarkvara tehnoloogiad

  • Formaalmeetodite grupp
    Tarkvara verifitseerimine ja testimine

  • Kompositsiooniliste süsteemide ja meetodite laboratoorium
    Kompositsionaalsus, programmeerimiskeeled, usaldusväärne tarkvara, string-skeemid, tõestussüsteemid, relatsioonilised meetodid, kvantarvutus

  • Loogika ja semantika grupp
    Funktsionaalne ja sõltuvalt tüübitud programmeerimine, tarkvara verifitseerimine ja testimine, formaalsed keeled ja kompilaatorite tehnoloogiad

• Infosüsteemide töörühm
  Infosüsteemid, e-riik, e-valitsus, e-tervis, andmeteadus, süsteemiarhitektuur, süsteemidisain, andmebaasid, suuremahulised süsteemid

Koolitused

• IT aluste õppekeskus
  rakenduste loomine tabeliprogrammidega, dokumentide loomine ja tekstitöötlus, esitluste loomine, modelleerimine ja programmeerimine

• Mikrokraadid

  • Infosüsteemide arendamine I
  • Äriinfosüsteemid
  • Digiriigi raamistik (õppetöö inglise keeles)
  • Programmeerimine I