Franck van Breugel

• 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.

• 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.