Alanwar Amr

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.