Research focus
The core theme across these pages is how to make systems behaviour understandable and reliable. That typically means choosing a model (a semantics, an interface theory, or a protocol description), writing down what must hold (invariants and constraints), and then using a mix of proofs, checks, and measurements to validate that understanding. Some pages are “big picture” hubs; others are short notes that capture a single idea in a form that is easy to revisit.
- Formal methods for system behaviour Operational semantics, behavioural models, and compositional reasoning as tools for clarity.
- Behavioural types and protocols Types as lightweight specifications: what messages can happen, in what order, and under which assumptions.
- Component systems and interfaces Assume/guarantee contracts, coordination models, and methods for reasoning about composition.
- Verification workflows From a spec to a model to a check: model checking, abstraction, and analysis pipelines that fit real constraints.
- Systems reasoning under constraints Latency budgets, failure semantics, and practical measurement as part of the engineering loop.
Highlights
Start here, then follow internal links to deeper pages.
- Profile hub A narrative overview, selected pointers, and the external profiles box.
- Research hub Formal methods, behavioural types, component models, and a problem-solving methodology.
- Publications Grouped lists with short summaries, plus a detailed page for a representative item.
- Projects Project-style topic pages with links into notes, publications, and workshop materials.
- ICE 2011 workshop hub Programme structure, presentation pages, and call pages for navigation.
- Notes index Short technical notes designed as refreshers and linkable entry points.
How to use the site
Each hub page is designed to answer “what is this area about?” and “where to start reading on this site?”. Hub pages link down to detail pages: notes, project pages, and workshop pages that give more context. The writing style is intentionally direct and structured: definitions first, then intuition, then common pitfalls.
If you’re looking for a single concept (for example, what session types buy you, or how model checking fits into an engineering workflow), start at Notes. If you want the broader context of how the topics connect, begin at the Research hub and follow links to Projects and Publications.
Recent notes
Five short notes that introduce recurring ideas used across the site.
- Model checking primerA practical view of state exploration, abstraction, and properties.
- Session types and protocolsStructured communication as a tool for reliability.
- Behavioural contractsAssumptions, guarantees, and what it means for components to compose.
- Component systems and BIPA model for glue, coordination, and system-level properties.
- Graph rewriting and SOSRules-as-semantics and why structure helps reasoning.