22 Jun - 20 Jul 2024 · Visiting Researcher, National University of Rio Cuarto
Optimal Spare Management for Research Reactors
Visiting research collaboration modeling spare-part policies for research reactors and exploring optimal strategies with statistical model checking.
Spare policy
SMC campaign
Problem
Spare-part planning for research reactors must balance reliability targets, limited inventory, maintenance decisions, and stochastic failure behavior.
Context
Visiting research collaboration with National University of Rio Cuarto and INVAP SE around research-reactor dependability.
Method
Modeled maintenance and spare policies with statistical model checking to compare candidate strategies under uncertainty.
Result
The analysis supported strategy comparison for spare management and led to FMICS 2023 and STTT 2025 publications.
Why It Matters
Critical infrastructure decisions need quantitative evidence before policies are changed in costly or safety-sensitive environments.