Navn
Jiri Srba
Job title
Professor
Virksomhed
Aalborg University
Biografi
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.
Taler ved
