Prof. Alanwar Amr is a Professor at the Chair of Cyber-Physical Systems within the TUM School of Computation, Information and Technology at Technical University of Munich (TUM). His research focuses on data-driven reachability analysis, security-assured reinforcement learning, and privacy-preserving estimation techniques using advanced mathematical frameworks like zonotopes. He holds a PhD from TUM and has held prior positions as an Assistant Professor at Jacobs University Bremen and a postdoctoral researcher at KTH Royal Institute of Technology. His work bridges formal verification, control theory, and cybersecurity in cyber-physical systems. Education: PhD in Automation and Control from TUM (under Prof. Althoff) Research Associate at UCLA and Engineer at Siemens/Morpho Research Interests: Data-driven formal verification methods Secure and resilient control systems Privacy-preserving set-based estimation Adversarial attack defense mechanisms His recent publications emphasize advancements in zonotope-based techniques for safety verification, privacy in distributed systems, and AI-driven control systems with formal guarantees. Key contributions include logical zonotopes for boolean function analysis and diffusion-based observers for multi-agent systems. Notable awards include the KTH Postdoctoral Fellowship, Qualcomm Innovation Fellowship finalist distinctions (2017/2018), and a best demonstration award at IPSN 2017. His work addresses critical challenges in autonomous systems, cybersecurity, and privacy in IoT environments.










