Hoda Mehrpouyan
Assistant Professor, Department of Computer Science
Disciplines
- Computer Sciences
Research Interests
- privacy, security, and robustness of mission-critical cyber-physical systems
- requirement analysis and verification
- compositional modeling and reasoning