Academic Bio.

Research Interests

LAB MEMBERS

Students

Britni Alexander: (M.Sc. Student) Her research is in the area of Automatic Verification of Android Applications.

Julio Co: His research is in the area of network resilience, survivability, and disruption tolerance.