Research Group

foo I am delighted to be working with a group of very talented graduate students.

Ph.D. Students


Fathiyeh Faghih
Research: Synthesis of fault-tolerant systems
Home page
Office: DC 2551D


Ramy Medhat
Research: Resource-aware runtime verification
Home page
Office: E5 4116

Master's Students


Saba Aflaki
Research: Synthesis of probabilistic self-stabilizing protocols
Home page
Office: DC 2559


Shreya Agrawal
Research: Automated repair and monitoring of security protocols
Home page
Office: DC 2559


Yogi Joshi
Research: Time-triggered runtime verification
Home page
Office: DC 2551D


Menna Mostafa
Research: Runtime verification of distributed systems
Home page
Office: DC 2550