Tugevalt tagatud tarkvara laboratoorium

Liikmed

Uurimisrühma juht

Publikatsioonid

Väljaanne: Automated Reasoning with Analytic Tableaux and Related Methods : 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
Autorid: Veltri, Niccolò; Wan, Cheng-Syuan
Aasta: 2026
Väljaanne: Intelligent Computer Mathematics : 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings
Autorid: del Barco, Viviana; Infanti, Gustavo; Rivas, Exequiel; Schwahn, Paul
Aasta: 2026
Väljaanne: Journal of Logical and Algebraic Methods in Programming
Autorid: Gadducci, Fabio; Laretto, Andrea; Trotta, Davide
Aasta: 2026

Projektid

Aasta: 2026 - 2029
CORESpaces projekt võimaldab luua uue normaalsuse süsteemsete muutuste mõistmisel, projekteerimisel ja rakendamisel, et luua inimkeskne, vastupidav, kliimaneutraalne, ellu äratatud ja dünaamiliselt hallatav linnaruum koostöös kodanike ja sidusrühmadega. CORESpaces mõtestab ümber siseruumid ja avaliku ruumi, arendades ja rakendades paindlikult kohandatavaid, ülekantavaid tööriistu, mida on demonstreeritud ja testitud üheksas linnas üheksas Euroopa riigis, luues avatud teadmisi, et sujuvalt levitada neid igas linnas, suurendades suutlikkust ja oskusi kliimaneutraalseks, ohutuks ja nutikaks linnakeskkonna ümberkujundamiseks ELi linnaruumides. Projekt aitab muuta ruume mõtestatuks ja tunnetuslikuks ja tulevikuks kliimaneutraalsuseks valmis olevaks.
Aasta: 2024 - 2028
Andmed on kujunenud tähtsaimaks ressursiks majanduse ja avaliku halduse automatiseerimise ning lahenduste optimiseerimise jaoks. Projekti eesmärgiks on tõsta andmevaldkonna uurimistööde taset ja sünergiat, seeläbi oluliselt tugevdades Tehnikaülikooli võimekust koostööks eesti majanduse ja avaliku haldusega, nii ühisprojektide, konsultatsioonide kui täiendõppe ja tudengite ettevalmistamise kaudu. Sel eesmärgil fokuseerub projekt masinõppe kasutamisele andmevaldkonnas: masinõpe, seejuures eriti närvivõrgud, on tulevaste tarkvarasüsteemide võimekuse ja tarkvaraehituse peamine arengumootor. Konkreetne eesmärk on suurendada uute, tipptasemel spetsialistide arvu närvivõrkudel põhineva masinõppe valdkonnas, rakendades neid koostöösse olemasolevate andmeteaduse valdkondadega: andme- ja reeglikaevandamine, andmesemantika, inimkeelsed andmepäringud, teadmiste esitamine, andmeintegratsioon, statistika ja andmehaldus.
Aasta: 2024 - 2028
Käesoleva projekti eesmärk on töötada välja ja täiustada olemasolevaid seletatava tehisintellekti meetodeid inimese motoorsete funktsioonide analüüsimiseks. Pilootuuringud on näidanud paljulubavaid tulemusi neurodegeneratiivsete haiguste diagnoosimisel. Lisaks plaanime laiendada meetodite rakendusala meditsiinist kognitiivse arengu ja kognitiivse väsimuse analüüsile. Seletava komponendi integreerimine tagab meditsiinitöötajatele tehisintellekti tehtud otsuste vajaliku läbipaistvuse. Rakendus kognitiivse arengu valdkonnas koolihariduse protsessi toetamiseks. Kognitiivne väsimus põhjustab teadaolevalt raskeid vigastusi ja tõsist rahalist kahju. Selle nähtuse põhjalik mõistmine ja oskus väsimust ära tunda aitab muuta töökeskkond turvalisemaks ja vähendada rahalisi ja mitterahalisi kahjusid tööprotsessis.

Tunnustused

TalTech’i Infotehnoloogia teaduskonna 2024. aasta õppejõud (üks üheksast).
2025
EuroTeQ kursusekataloogi ühekordne toetus.
2025
Parima poster ettekandega artikkel “17th Asian Conference on Intelligent Information and Database Systems” ACIIDS 2025, Kitakyushu, Jaapan
2025