Teema keskendub kahele aktuaalsele infotehnoloogia valdkonnale: tarkvara usaldusväärsus ning inimkeeletehnoloogia. Eesmärkideks on õppida paremini tundma teatud arvutamise mudeleid, parendada programmeerimiskeeli, tarkvara analüüsi vahendeid ja tarkvarapraktikat, saada uusi teadmisi eesti keele foneetikast ning täiustada eestikeelse kõne tuvastuse tööriistu. Edendame lõplike automaatide ja rakuautomaatide teooriat. Panustame sõltuvate tüüpidega programmeerimise keelte disainimisse ja realisatsiooni ning osaleme vastavate programmeerimise meetodite arendamises. Töötame välja semantikaid, programmiloogikaid ja analüüsivahendeid hajutatud objektorienteeritud keelele, uurime transaktsioonilise mälu korrektsust. Jätkame visuaalse tarkvara automaatse komponeerimise süsteemi CoCoViLa arendamist ja kasutamist. Uurime eesti keele foneetika artikulaarseid aspekte, spontaanse kõne häälduse variatiivsuse modelleerimist, keelemudelite adapteerimise võtteid, morfoloogia automaatset induktsiooni.
The theme focuses on two important areas of IT: trustworthiness of software and human language technology. The general aims are to understand some models of computation deeper, to improve programming languages, software analysis tools and software practice, to obtain new knowledge about the phonetics of Estonian and improve Estonian speech recognition. We will advance the theory of finite-state automata and cellular automata. We will contribute to the design and implementation of dependently typed languages and develop programming techniques for these. We will develop semantics, program logics and analysis tools for a distributed object-oriented language, study the correctness of transactional memory. We will continue to develop and use the visual automated software composition system CoCoViLa. We will study articulary aspects of the phonetics of Estonian, modelling of variability of spontaneous speech, techniques for adaptation of language models, automatic induction of morphology.