Franck van Breugel


Research Interests
  • Concurrent programming languages:┬ádesign, implementation, verification and programming.


Franck van Breugel received his doctoral degree in Computer Science from the Free University Amsterdam in 1994. He was a research fellow at the University of Pisa and McGill University, Montreal. He joined the department in 1998.

Selected Publications
  • Comparative Metric Semantics of Programming Languages: nondeterminism and recursion, Birkhauser, 1997.
  • Towards Quantitative Verification of Probabilistic Systems (preliminary report), Report, York University, 2000.
  • (with J.W. de Bakker), “From Banach to Milner: Metric Semantics for Second Order Communication and Concurrency”, to appear in Proof, Language and Interaction: Essays in Honour of Robin Milner, MIT Press.
Franck van Breugel
Staff Information
Campus Address
Lassonde Building, room 3046 (LAS3046)
The DisCoVeri Group
Stay in Touch