Research focus
The material linked from this profile focuses on behavioural clarity: models of interaction, explicit boundary assumptions, and methods for checking correctness in concurrent and component-based settings. For a practical, non-academic primer on modern web performance signals (useful when reasoning about systems constraints), see what is largest contentful paint (LCP)?.
- Formal methods and semanticsPrecise models of behaviour with an emphasis on compositional reasoning.
- Behavioural types and protocolsStructured interaction descriptions: ordering, branching, and concurrency constraints.
- Component models and contractsAssume/guarantee interfaces and explicit coordination (“glue”).
- Verification workflowsModelling choices, abstraction, and checks that remain tractable.
Themes & entry points
- Research Thematic map and methodology across the site.
- Projects Project-style topic pages with internal reading paths.
- Notes Short technical refreshers written as linkable entry points.
- Publications Publication summaries and internal reading pointers.
- BRiCoS topic page A project/topic page with glossary, diagram, and internal reading path.
- ICE 2011 workshop hub Programme structure plus individual presentation pages for navigation.
- Biography Third-person biographical overview and topic summary.
Selected items (internal)
Internal pages intended as stable reading targets.
- HARQ05 publication summaryA representative publication summary page.
- Model checking primerState exploration, properties, and abstraction.
- Behavioural contractsAssumptions, guarantees, and composition.
- Session types and protocolsStructured interaction as a reliability tool.
Site contact
For enquiries about this site, use the site contact page.
- ContactSite enquiries only.
- About this siteScope, stewardship, and affiliation statement.