Scholar
Jiri Srba
Google Scholar ID: PYmuJQoAAAAJ
Professor of Computer Science, Aalborg University
Citations & Impact
Citations
1,339
H-index
19
i10-index
38
Publications
20
Co-authors
38
list available
Contact
Resume (English only)
Academic Achievements
- List of publications, given talks, curriculum vitae, roadmap of infinite results, book: Reactive Systems: Modelling, Specification and Verification.
Research Experience
- Employed as a professor at the Department of Computer Science at Aalborg University. Involved in the development of several tools such as TAPAAL Tool, AalWiNes, CAAL, WKTool, and has been a PC member for numerous academic conferences.
Background
- Main area of interest is within concurrency theory, in particular: software verification with a focus on quantitative systems, model checking of (timed-arc) Petri nets and timed automata, process algebra, modal transition systems, weighted automata, decidability and complexity issues for various classes of infinite state systems, and applying formal methods for verification and synthesis of computer networks.
Miscellany
- Contact: Office 1.2.32; Phone +45 99 40 98 51; Fax +45 99 40 97 98; Mobile +45 20 45 35 14; Email srba@cs.aau.dk
