Research Group

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

Ph.D. Students


Oyendrila Dobe
Research: Reasoning about probabilistic information-flow security
Home page
Office: Atanasoff B21


Ritam Ganguly
Research: Runtime verification of blockchains
Home page
Office: Atanasoff B21


Tzu-Han Hsu
Research: Model Checking and Synthesis of Hyperproperties
Home page
Office: Atanasoff B21


Anik Momtaz
Research: Runtime monitoring of distributed CPS
Home page
Office: Atanasoff B21


Eshita Zaman
Research: Model Checking Probabilistic Hyperproperties
Home page
Office: Atanasoff B21

Undergrads

Past Members


Umair Siddique (Postdoc, 2015-2017)
Research: Runtime Verification of Security Policies


Ramy Medhat (PhD, 2018)
Thesis: Software Approaches to Manage Resource Tradeoffs of Power and Energy Constrained Applications


Fathiyeh Faghih (PhD, 2015 -- Postdoc, 2016)
Thesis: Automated Synthesis of Timed and Distributed Fault-Tolerant Systems


Shokoufeh Kazemlou (Master's, 2017)
Thesis: Decentralized Crash-Resilient Runtime Verification


Akhil Krishnan (Master's, 2016)
Thesis: Distributed Vehicle Routing Approximation


Mikhail Markov (Master's 2016)
Thesis: Multi-agent Distributed Graph Traveral


Menna Mostafa (Master's, 2016)
Thesis: Runtime Verification for Distributed Systems


Saba Aflaki (Master's, 2015)
Thesis: Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms


Yogi Joshi (Master's, 2015)
Thesis: RitHM: A Modular Software Framework for Runtime Monitoring Supporting Complete and Lossy Traces


Shreya Agrawal (Master's, 2015)
Thesis: Monitoring and Enforcement of Safety Hyperproperties


Ian McArthur (Undergraduate, Summer 2017)


Opeyemi Salau (Undergraduate, Summer 2016)