Portfolio

Selected technical projects and client-ready case studies

Selected projects that demonstrate system architecture, formal verification, data platforms, and socio-technical engineering. Dates reflect the related project/article timeline.

Wafer stepper project visual

Formal Verification of an ASML EUV Wafer Stepper

Completion date:

Goal: Model and verify safety-critical concurrency requirements for a simplified EUV wafer stepper controller.

Contribution: I built the formal model, translated operational requirements into CCS, LTL, and modal mu-calculus properties, and analyzed traces for unsafe vacuum-door behavior.

Deliverables: Formal specification notes, verification rationale, and a public case-study article.

Skills: Formal methods, model checking, requirements analysis, safety reasoning, process algebra.

Resources: CCS, LTL, modal mu-calculus, concurrency modeling, ASML-inspired manufacturing workflow.

Project article

CERN detector systems project visual

CERN Detector Conditions Data Platform

Completion date:

Goal: Create a reliable digital data backbone for detector conditions management in the SHiP/FairSHiP software context.

Contribution: I served as project manager and product owner, shaping requirements, API behavior, database choices, CI/CD expectations, benchmarking, and quality assurance.

Deliverables: Architecture documentation, API/data design, project-management artifacts, benchmarks, and a public case-study article.

Skills: Product ownership, system architecture, database design, CI/CD, scientific software coordination.

Resources: MongoDB, FairSHiP, REST-style API design, Git workflows, detector conditions databases.

Project article

Tsushima floating island concept visual

Tsushima GX Floating-Island Energy Concept

Completion date:

Goal: Validate renewable-energy policy options for Tsushima Island through a technical, economic, and community-aware system concept.

Contribution: I helped frame the resilient floating-solar concept, connect the design to GX/SDG requirements, and present the work for academic, local-government, and industry audiences.

Deliverables: Concept visuals, stakeholder-facing presentation, policy/engineering analysis, and public write-up.

Skills: Resilience engineering, energy systems, stakeholder communication, policy validation, systems thinking.

Resources: Renewable-energy cost modeling, SDG mapping, Tsushima site context, SystemJD project-based learning.

Project article

FEATURED TAGS
Logic Systems industrial Design AIOps CCS Concurrency Cybersecurity Estimation Model Checking PHM Policy Resilience Robotics
ABOUT ME

The illusion of linearity is comforting, but I’ve yet to meet a real system that stayed linear outside the classroom.