Omar Salem

MSc

Biosketch

Omar is Computer Science and Mathematics graduate from the American University in Cairo. He worked on two theses. The first focused on using ML to detect braking intention using EEG signals. The second proved the existence of group with exactly one noncommutator. He’s currently pursuing a master’s of Mathematics at TUM.

Omar’s research interests is in using algebraic and formal techniques to create more resilient and robust AI that can be intrepretable and secure.

relAI Research

Mathematical & Algorithmic Foundations
Safety
Security