Research Interests
- Concurrent programming languages: design, implementation, verification and programming.
Bio
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.