Ph.D. Arvutiteaduses ja matemaatikas

Piirkond: Arvutiteadus ja matemaatika

• Tehisintellekt ja intelligentsed süsteemid
• Arvutustehnika ja matemaatika
• Küberturvalisus
• Andmeteadus ja masinõpe
• Embedded Systems ja IoT
• Protsessijuhtimine
• Tarkvara ja infosüsteemi ehitus

Tehisintellekt ja intelligentsed süsteemid

• Kohanduv kontroll ja optimeerimine
• Kohandamispoliitika
• Kollektiivsed ja adaptiivsed süsteemid
• Teadmiste esindamine ja autonoomne arutluskäik

Arvutustehnika ja matemaatika

• Arvutite algebralised ja loogilised aspektid)
• Arvutuslikud mudelid ja arvutusmudelid
• Ametlikud keeled
• Algebralised keeled konkreetsetele domeenidele
• Mudeliteooria
• Teadushariduse metoodilised aspektid

Küberturvalisus

• Juurdepääsu kontroll ja ressursikasutuse eeskirjad
• Distributed Ledger Technologies
• Elastsete süsteemide projekteerimine
• Võrgu turvalisus
• Sissetungimise avastamise süsteemid

Andmeteadus ja masinõpe

• Andmepõhised keerukate süsteemide mudelid
• Topoloogiapõhised andmete analüüsimeetodid
• Andmepõhine süsteemi kontroll
• Optimeerimine ja ökonomeetrilised meetodid
• Diskrimineeriv ja generatiivne modelleerimine

Embedded Systems ja IoT

• Vahevara ja teenused
• Side ja võrkude loomine traadita ja manussüsteemide jaoks
• Spetsiifiline, sisseehitatud jaotus, analüsaator, e
• Traadita anduri võrgud
• Energiatõhusus ja saagikoristus

Protsessijuhtimine

• Protsessiteadlike infosüsteemide pidev täiustamine
• Koostöö ja jaotatud äriprotsesside kehtestamine, sealhulgas Blockchain
• Protsessi intensiivsüsteemide mudelid
• Protsessi kaevandamise tehnika
• Data-Aware koostöömudelite simuleerimine ja kontrollimine

Tarkvara ja infosüsteemi ehitus

• Ettevõtlusarhitektuuri ehitus
• Rakendatud vormilised meetodid ja kontrollivahendid
• Testimine ja kontrollimine jaotatud seadetes
• Kvantitatiivne analüüs ja tööriistad
• Kestuse jälgimine ja kontrollimine