What this site is
This site is a compact research hub. It collects a limited number of pages and arranges them into a reading structure: topic hubs (Research, Projects, Publications), short notes intended as refreshers, and workshop pages that provide programme context and cross-links.
The editorial style is intentionally structured: definitions first, then intuition, then common pitfalls. That structure is designed to support fast scanning as well as deeper reading via internal links.
The site does not aim to be exhaustive. It focuses on a consistent set of themes: specifying system behaviour, reasoning about interaction and composition, and checking correctness with methods that remain feasible under real engineering constraints.
Attribution
Pages that reference individuals use third-person language. When names are used, they refer to the researchers/authors associated with the cited work or themes discussed. The “Simon” section is a third-person researcher profile summary and is labelled accordingly.
Publication-related pages on this site are summaries and reading pointers. They are designed to be indexable and linkable, and to connect to related topics and notes within the site. They do not claim to be the authoritative source of record for bibliographic data.
Stewardship
The site is maintained by an independent editor for discoverability and navigation. The maintenance work is editorial and structural: creating stable internal URLs, keeping consistent metadata, and connecting pages via descriptive internal links.
A practical benefit of this approach is that related material is easier to browse: a workshop page can link to a note that explains a concept, and a note can link back to a hub that provides context. This internal structure is also designed to be friendly to search engines and to readers arriving from a single entry page.
Affiliation
bliudze.me is not an official university or institutional site and does not claim endorsement by any organisation. The site presents curated material for navigation and reading continuity and should be treated as an independent resource.
Contact
For enquiries about this site (corrections, link issues, or navigation suggestions), use the site contact below. This address is for site enquiries only.
- Site emailadmin [at] bliudze [dot] me
- Also availableSee the dedicated contact page for the same information.
Navigation
- ResearchThematic overview and reading paths.
- NotesShort technical refreshers.
- PublicationsSummaries and internal pointers.
- ICE 2011Workshop programme and related materials.