Gabriel Juhás

Prof. Gabriel Juhás is a leading academic at the Institute of Applied Informatics within the Faculty of Informatics at Paneuropean University PEVŠ. With a career spanning over three decades, his expertise bridges formal methods in computer science, particularly Petri net theory, with practical applications in low-code development platforms like Netgrif.

• Comenius University (BS, Mathematics and Physics, 1993)
• Slovak University of Technology (PhD, Electrical Engineering and Informatics, 1999)
• University of Eichstätt-Ingolstadt (Habilitation, Informatics, 2005)

His research focuses on modeling event-driven systems using Petri nets, advancing algebraic descriptions of event concurrency, and developing polynomial algorithms for scenario feasibility. He co-created the Petriflow low-code language, enabling process-driven application development deployed in leasing, insurance, healthcare, and energy sectors.

Key trends in his publications include formal verification of concurrent systems, token flow analysis in Petri nets, and the evolution of low-code platforms for business process management. His work emphasizes translating theoretical models into practical solutions through startups like NETGRIF.

He has supervised over 100 theses, including three doctoral dissertations, and led 15+ research projects. His industry collaborations with AUDI AG and IBM demonstrate his commitment to bridging academia and practice.