Tugevalt tagatud tarkvara laboratoorium

Nimetus
High-assurance software laboratory en
Head of the research group
Keyword
funktsionaalne ja sõltuvalt tüübitud programmeerimine et
functional and dependently-typed programming en
tarkvara verifitseerimine ja testimine et
software verification and testing en
formaliseeritud programmeerimisteooria et
formalized programming theory en
Overview
Rühm uurib tugevalt tagatud tarkvara arendamise teooriaid, meetodeid ja tööriistu, spetsialiseerudes nii tõestustele (sertifitseeritud tarkvara) kui ka testimisele. et
The group conducts research into theories,methods and tools for developing high-assurancesoftware, specializing on both proofs (certifiedsoftware) and testing. en
Important results
• Näidati, et duoidiline Sweedleri teooria rakendub monaadi-komonaadi interaktsiooniseadustele, Sweedleri tehted kirjeldavad vastavalt universaalset interageeruvat monaadi, komonaadi ja jääkmonaadi ning neid saab arvutada nende algebrate ja koalgebrate kategooriate kaudu.• Uuriti inimese motoorika andmete kasutamist Parkinsoni tõve diagnoosimiseks, töötati välja poolautomaante robotplavorm inimese jämemotoorika registeerimiseks. Kasutati süvaõppe mudeleid merelainespektrite hindamiseks satelliidiradari piltide alusel. Uuriti tunnuste valikut masinõppepõhiseks botnetirünnete tuvastamiseks.• Üldistati tõestatavalt korrektse aspekt-orienteeritud modelleerimise meetodit Uppaali ajaga automaatide formalismi näitel. et
A dataset for detection of Android malware wascollected and curated that covers the full historyof the operating system.A construction was given for a digital signaturescheme that makes it possible to use the samekey pair multiple times based on timestamping.Focused sequent calculi were identified for partially normal skew monoidal, skew prounitalclosed and skew symmetric monoidal closedcategories. en
Period of activity of the research group
Teadusgrupiga seotud publikatsioonid