معرفی
Jiri Srba is a Professor at Aalborg University's Department of Computer Science, part of the Technical Faculty of IT and Design. He leads research in the Distributed, Embedded and Intelligent Systems group and contributes to projects like "ControLing wAter In an uRban Environment" and "Collective Adaptive System SynThesIs using Non-zero-sum Games". His office is located at Selma Lagerløfs Vej 300, 9220 Aalborg Øst, Denmark. Contact him at +4599409851 or srba@cs.aau.dk.
His core research focuses on formal methods and applied computer science:
- Model checking and verification of concurrent systems
- Petri nets and their applications
- Network protocol verification and synthesis
- Distributed system correctness
- Automated reasoning for industrial systems
His publication record shows strong emphasis on network verification, model checking optimization, and applying formal methods to environmental systems. Recent work integrates computer science with sustainable engineering, particularly in water management systems and energy control.
Jiri Srba در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
Sarah HasanAalborg University · پژوهشگر ارشد
Nicolaj Østerby JensenAalborg University · پژوهشگر
Frederik Bode ThorbensenAalborg University · پژوهشگر
Sigmundur VangAalborg University · پژوهشگر ارشد
Falke Bjernemose Øtker CarlsenAalborg University · پژوهشگر
Laure PetrucciUniversity of Sorbonne Paris Nord · استاد