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.
Staff Information
Campus Address
Computer Science and Engineering Building, room 3046 York University Department of Computer Science and Engineering 4700 Keele Street Toronto, Ontario Canada M3J 1P3
Stay in Touch