Jiri Srba
Full Name
Jiri Srba
Job title
Professor
Company
Aalborg University
Speaker Bio

Jiri Srba is professor in computer science at Aalborg University, Denmark. He obtained his first PhD degree in 2003 at BRICS international
PhD school in Aarhus and co-authored more than 140 peer-reviewed scientific papers focusing on software verification and synthesis,
model checking of quantitative systems including timed automata, timed-arc Petri nets, weighted automata and modal transition systems.
He is a steering committee member of CONCUR and a founder and prime investigator of the award-winning model checker TAPAAL.