Christopher O’Hara | Ohara's Atelier

Biocybernetics: From Neural Models to Systems, Models, Estimation, and Control

Fundamentals, neural systems, sensory systems, and motor control

Purpose: This document is a structured course writeup for the University of Tokyo’s Biocybernetics course. The writeup emphasizes both biological foundations (neurons, muscles, sensory systems) ...

Posted by Christopher O'Hara on May 28, 2023

Building a Digital Spine for CERN's Detectors

Project Management at the Frontier of Physics

Purpose. Rewrite of my EngD project documentation into a blog format. Based on the official CERN Indico presentation, the FairSHiP GitHub repository, and my TU/e EngD project repositories. This ...

Posted by Christopher O'Hara on May 16, 2020

From Classroom to Company My Journey Through the EIT Digital Innovation and Entrepreneurship Minor

How two class projects became startups and one civic challenge reshaped my view of architecture

From Classroom to Company My Journey Through the EIT Digital Innovation and Entrepreneurship Minor By Christopher O’Hara Purpose: This post explains how the Innovation and Entrepreneurship M...

Posted by Christopher O'Hara on February 19, 2020

Process Theory and Reactive Systems

CCS operational semantics, HML derivations, and behavioural equivalences

Purpose. These notes are my write-up of Process Theory and Reactive Systems, extended with material from Aceto, Ingólfsdóttir, Larsen, and Srba’s Reactive Systems: Modelling, Specification and V...

Posted by Christopher O'Hara on January 20, 2020

Automata Theory — From Finite Machines to Complexity

A study of regular languages, context-free grammars, Turing machines, and NP-completeness

Purpose. These notes are my own write-up of the lecture material from the course Automata, Language Theory, and Complexity. I adapted the technical content into a blog-friendly format while pres...

Posted by Christopher O'Hara on June 22, 2019

Formal Verification of an ASML EUV Wafer Stepper

From CCS to Mu-Calculus: Requirements, Operators, and Model Checking

Extreme Ultraviolet Lithography (EUV) wafer steppers are among the most complex machines in manufacturing. Their throughput depends on parallel behaviors—robots moving wafers, doors cycling, and ch...

Posted by Christopher O'Hara on February 14, 2019

Petri-nets, SDFs, and Markov Chains

From structural models to performance bounds and stochastic execution

Purpose. These notes are my own write-up of the lecture material from TU/e’s MSc course 2IMN25 — Quantitative Evaluation of Cyber-Physical Systems: Quantitative Formal Modeling and Worst-Case Pe...

Posted by Christopher O'Hara on June 20, 2018

Automated Reasoning — A Working Guide to SAT, SMT, BDDs, and Model Checking

From propositional resolution to DPLL(T), ROBDDs, and CTL model checking

Purpose. These notes are my own write-up of the lecture material from TU/e’s MSc course 2IMF25 — Automated Reasoning. I adapted the technical content into a blog-friendly format while preserving...

Posted by Christopher O'Hara on April 19, 2018

The Impacts of Human Interface Technologies

Fairness, resources, and distribution dilemmas

Framing the Question Course: 0LM140 — Let’s Make Humans Better (TU/e, Philosophy & Ethics / HCI stream, 2018) The inquiry begins with the perennial question: What is a good life? Happiness, f...

Posted by Christopher O’Hara on April 16, 2018

Logic and Set Theory — Foundations for Formal Reasoning

From propositional logic to sets, functions, induction, and orderings

Purpose. These notes are my write-up of the course Logic and Set Theory. I restructured the TU/e self-study guide into a blog-friendly format while keeping the proof style used in the course. Pr...

Posted by Christopher O'Hara on March 30, 2018

ABOUT ME

Ohara's Atelier

AI System Architect & Digital-Twin Engineer