Directions
Study of algorithms and AI.
Integration of computing and physical processes in manufacturing and logistics.
Researching and applying mathematical techniques to optimise and learn from data.
The National Laboratories coordinated by HUN-REN SZTAKI aim to strengthen domestic R&D and boost the competitiveness of the economy with innovative, world-class solutions.
The goal of this Platform is to support Internet-based economy and innovation by stepping into a new era of technology. Read more
Scientific cloud services for research projects. Read more
Scientific Data Repository for the Hungarian Research Community. Read more
ERCIM News ((75))., pp. 53-54.
In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.
FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043
ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X
In: FMICS 2008. 13th international workshop on formal methods for industrial critical systems. L'Aquila, 2008..