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.