Franck van Breugel

Franck received his MSc from Eindhoven University of Technology and carried out his PhD research at the Dutch Centre for Mathematics and Computer Science and the Free University Amsterdam. Before joining York University, he spent some time at McGill University, the University of Pisa and the Danish Institute for Basic Research in Computer Science. In 2004-05, he was a visiting scholar at the University of Cambridge. In 2011-13, he was a Leverhulme visiting professor at the University of Oxford. His research interests include concurrency and verification.