Secondments
How host institutions, local teams, and domain context change the modelling story.
3 entries
Beyond Papers
Context, process, and technical judgment around the research.
This is the place for the work that sits beside the formal record: secondments, supervision, teaching, and infrastructure. Not papers, not a CV, but the assumptions, framing choices, and practical lessons that shape the research.
What belongs here
Short pieces on research visits, student-topic framing, teaching choices, and operational practice that inform formal methods work but do not belong in archival publications.
11
Beyond Papers entries
4
themes
2024-2026
activities covered
Supervision
How thesis topics are scoped around ADTs, AFDTs, PRISM, MDPs, and strategy analysis.
5 entries
Teaching
Reflections on testing, risk assessment, software systems, and modelling practice.
2 entries
Infrastructure
Self-hosting, deployment discipline, and the systems habits behind dependable work.
1 entries
24 Feb 2026 - 16 Mar 2026BriefSecondmentsFeatured piece
Research Visit in Beijing on Branching Bisimulation and Collaboration
A follow-up visit at the Institute of Software, Chinese Academy of Sciences, where discussions on behavioural equivalence and efficient bisimulation reduction grew into a concrete collaboration connected to the MISSION workshop at ETAPS 2026.
BeijingBranching BisimulationMISSION Workshop
Key points
- At ISCAS, I worked closely with David N. Jansen on behavioural equivalence and efficient algorithms for bisimulation reduction.
- Discussions with Jan Friso Groote, Full Professor and Chair of the Formal Systems Analysis group at Eindhoven University of Technology (TU/e), helped refine several aspects of the work and connected the visit to recent branching-bisimulation research, including optimizations based on lazy data structures.
- The collaboration led to work on 'A Lazy Data Structure to Accelerate a Recent Algorithm for Branching Bisimulation', which appears in the MISSION workshop programme at ETAPS 2026, even though the public programme pages list only David N. Jansen and Jan Friso Groote as authors.
These pieces are intentionally shorter and more direct than publications. They capture framing, judgment, and applied lessons while the formal record stays on the Publications page.
Archive
Short pieces grouped by theme, with each entry standing on its own.
11 archive pieces
Secondments
How host institutions, local teams, and domain context change the modelling story.
3 entries
24 Feb 2026 - 16 Mar 2026Brief
Research Visit in Beijing on Branching Bisimulation and Collaboration
A follow-up visit at the Institute of Software, Chinese Academy of Sciences, where discussions on behavioural equivalence and efficient bisimulation reduction grew into a concrete collaboration connected to the MISSION workshop at ETAPS 2026.
BeijingBranching BisimulationMISSION Workshop
Read piece8 Apr 2025 - 7 May 2025Brief
Research Stay in Beijing on Autonomous Systems
What the 2025 stay at the Institute of Software added to my thinking on uncertainty modelling, strategy synthesis, and dependable cyber-physical systems.
BeijingAutonomous SystemsStrategy Synthesis
Read piece22 Jun 2024 - 20 Jul 2024Brief
Research Secondment in Rio Cuarto on Reactor Spare Management
A Project MISSION secondment on spare-management optimisation for research reactors, shaped by direct contact with domain-specific reliability concerns.
ArgentinaResearch ReactorsStatistical Model Checking
Read pieceSupervision
How thesis topics are scoped around ADTs, AFDTs, PRISM, MDPs, and strategy analysis.
5 entries
Apr 30, 2025Brief
Supervising ADTs with Offensive and Defensive Attributes
Notes from co-supervising Danut Copae on extending quantitative attack-defense-tree analysis with offensive and defensive attributes.
SupervisionADTDSN 2025
Read pieceApr 24, 2025Brief
Supervising AFT-to-MDP Translation in PRISM
How I scoped a supervision topic around strategy-aware analysis of attack-fault scenarios through Markov decision processes in PRISM.
SupervisionPRISMMDP
Read pieceApr 18, 2025Brief
Supervising ADT Transformation into 2-player Game Automata
What matters when guiding a thesis on generative translation from attack-defense trees into PRISM and game-automata models.
SupervisionGame AutomataADT
Read pieceApr 10, 2025Brief
Supervising Game-Theoretic ADTs for Security Strategies
A short note on scoping a BSc project around cost-effective attack-defense strategy analysis with PRISM.
SupervisionGame TheoryBSc
Read pieceApr 4, 2025Brief
Supervising AFT Risk Modelling with Retry Attacks
How I approached a BSc topic on retry-attack modelling and dynamic risk quantification in attack-fault trees.
SupervisionAFTRisk Modelling
Read pieceTeaching
Reflections on testing, risk assessment, software systems, and modelling practice.
2 entries
Mar 28, 2025Brief
Teaching Software Testing and Risk Assessment at Twente
Reflections from 110 hours of teaching assistance in Software Testing and Risk Assessment across two course runs.
TeachingTestingRisk Assessment
Read pieceMar 21, 2025Brief
Teaching Software Systems through Java and UML
Notes from supporting Software Systems with Java programming and software design/modelling, including UML use-case, class, sequence, and state-machine diagrams.
TeachingJavaUML
Read pieceInfrastructure
Self-hosting, deployment discipline, and the systems habits behind dependable work.
1 entries
Mar 14, 2025Brief
myhbd.net as a Spare-Time Infrastructure Playground
A small personal company and infrastructure playground that I keep as a spare-time hobby for Linux hardening, automation, and practical systems experimentation.
myhbd.netLinuxHobby Project
Read piece