Útvonalterv
Önálló járművek fejlesztése AI és érzékelő technológiákkal.
Önállóan működő robotok tervezése dinamikus környezetekhez.
Több hálózatra kiterjedő méretezhető, megbízható rendszerek tervezése.
Skálázható felhő-infrastruktúrák és szolgáltatások kezelése.
Gépek képessé tétele a fizikai világ érzékelésére és kezelésére.
Számítógépes és fizikai folyamatok integrációja a gyártásban és a logisztikában.
Számítógépes rendszerek és hálózatok védelme digitális támadások ellen.
Matematikai módszerek kutatása és alkalmazása optimalizálásra és tanulásra.
Algoritmusok és MI kutatása.
Multimédiás és VR alapú élményekkel gazdagított tanulási környezetek fejlesztése.
Az intézet által koordinált Nemzeti Laboratóriumok célja a hazai kutatás-fejlesztés erősítése és a gazdaság versenyképességének növelése innovatív, nemzetközi szintű megoldásokkal.
A platform célja a technológiai korszakba lépéssel, az internet alapú gazdasághoz való innovációs alkalmazkodás támogatása. Bővebben
Tudományos felhőszolgáltatások kutatási projektek számára. Bővebben
Tudományos Adatrepozitórium a magyar kutatói közösség számára. Bővebben
Boston, Kluwer, pp. 195-202.
Proceedings of the Estonian Academy of Sciences, 62 (1)., pp. 59-70.
LECTURE NOTES IN COMPUTER SCIENCE, 3463, pp. 391-402.
FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043
In: Dependable computing - EDCC-3. Third European conference. Fast Abstracts. Prague, 1999..
In: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008..
In: 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints. Budapest, 2000. Vol. 2..
In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.
In: Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin. Vol. 5.
ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X