Simon Bliudze

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.

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