Hi, I'm Hadi Zaatiti

My work follows one thread: if you can write down a faithful model of a system, you can reason about it, simulate it, and trust it, whether that system is a metro line, a drone, or the human brain.

At the CEA I formally verified hybrid systems that mix discrete logic with continuous dynamics. At IRT SystemX I architected autonomous shuttles and studied representation learning on manifolds with Stanford and Inria. At Airbus Defence & Space I managed system models for the FCAS and EuroDrone programs and taught model based systems engineering. Today, at NYU Abu Dhabi, I bring that modelling mindset to neuroscience, building acquisition and analysis pipelines for magnetoencephalography and electroencephalography.