Michael Naderhirn

NM Robotic - EasySafe

Michael Naderhirn is a mechatronics engineer, systems architect and entrepreneur with a background in robotics, control systems, autonomous systems and aviation. He holds a PhD in Mechatronics and has founded and contributed to technology companies in areas including radar, autonomous driving and flying, and neuromorphic computing. His recent work focuses on systems engineering and the development of safety-critical autonomous aircraft, including flight control, navigation, simulation, testing and certification-oriented development processes. He is the developer of EasySafe, an engineering framework integrating formal requirements, MBSE, AI-assisted system design, formal design and code verification, and human review. His current research focuses on combining AI with rigorous systems-engineering methods to make complex system development more automated while maintaining traceability and verifiability.