A 2019-ben indult Ipar és digitalizáció tématerületi kutatások célzott alap-és alkalmazott kutatási spektrumon hoztak létre versenyképes, valódi társadalmi-ipari igényekre válaszoló kutatási potenciált az ELTE Informatikai Karán, a nagy megbízhatóságú, biztonság-kritikus és szigorúan valós idejű, elosztott informatikai alkalmazások területén. A 2020-as TKP során olyan diszciplináris informatikai alap- és alkalmazott kutatásokat végeztünk, melyek megalapozták, hogy magas minőségű informatikai megoldások épülhessenek be az egyes alkalmazási területeken készülő termékekbe, szolgáltatásokba, és az alkalmazási területek szakértői számára az informatikai megoldások integrációja kényelmes, rugalmas legyen.

Modellek és módszerek biztonságos informatikai rendszerekhez a programozási nyelvek típusrendszere, forráskód jelentésmegőrző transzformációi, a statikus elemzések a számítógépes hálózatok, az információs rendszerek, a szoftvertesztelés, a mesterséges intelligencia, a gépi látás, az autonóm rendszerek és térinformatikai modellek, távérzékelés területén. A modellek optimalizációja és helyességének vizsgálata.

A Tématerületi Kiválósági Program Nemzeti Kihívások alprogramjában a 2020-as két éves pályázati periódus első évének kutatásait összegzik az alábbi poszterek, amelyek bemutatják a tématerület kutatóinak eredményeit, melyekkel hozzájárultak a pályázat szakmai feladatainak, vállalásainak teljesítéséhez.