Japan: SPRING-GX, WING-CFS, and SDGs
SPRING-GX and SystemJD; Tsushima floating solar concept, resilience and energy policy validation, SDGs integration
Industrial Projects
Selected case studies delivered with external partners. Only posts marked with industrial: true are listed.
Building a Digital Spine for CERN's Detectors
Conditions DB for SHiP integrated with FairSHiP; API, MongoDB, CI/CD, benchmarking, QA
From Classroom to Company My Journey Through the EIT Digital Innovation and Entrepreneurship Minor
EIT Digital I&E Minor; LABELEDBY MVP to startup; Rennes smart-city platform; AlphaLink's Smart FC UAV control productization
Formal Verification of an ASML EUV Wafer Stepper
Formal modeling of an ASML EUV stepper; requirements in CCS; properties in Mu-Calculus and LTL; model checking and trace analysis.