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
In: Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, 2013-08-26 - 2013-08-27, Szeged, Magyarország.
In: Application and Theory of Petri Nets and Concurrency Lecture Notes in Computer Science (9698) Springer International Publishing, Cham (Svájc), pp. 123-132.
Reliability Engineering and System Safety, 94 (5)., pp. 942-953.
FORMAL ASPECTS OF COMPUTING, 28 (3)., pp. 345-379. ISSN 0934-5043
In: SAFEPROCESS 2009. 7th IFAC international symposium on fault detection, supervision and safety of technical processes. Barcelona, 2009..
ACTA CYBERNETICA-SZEGED, 22 (3)., pp. 573-589. ISSN 0324-721X
Proceedings of the Estonian Academy of Sciences, 62 (1)., pp. 59-70.