Noran Azmy is a highly accomplished professional in the field of computer science and engineering, with a Bachelor's Degree from The German University in Cairo and multiple advanced degrees, including a Doctor of Philosophy in Automated Theorem Proving from Universität des Saarlandes. Experience includes working as a Doctoral Student at the Max Planck Institute for Informatics, where research focused on the formal verification of distributed systems, and as a Software Engineer at both Bloomberg LP and Google. Prior to this, Noran contributed as a Master Student at both Universität des Saarlandes and Johannes Kepler University, developing an improved renaming technique for first-order formulas, and served as a Teaching Assistant at the German University in Cairo, instructing courses in computer science fundamentals and data structures.
This person is not in the org chart
This person is not in any teams
This person is not in any offices