These web pages use cascading style sheet features for formatting. You may still browse the text of the site, but for best results, use a modern CSS-enabled browser.

Runtime Verification

Theorem Proving and Constraint Solving

Concurrency and Program Semantics

Invited Papers

Selected Unpublished Notes