Skip to Main Content
Hoda Mehrpouyan, Ph.D.
Assistant Professor
Computer Science
Phone: 208-426-2497 | Fax: | Office: CCP 252
Hoda Mehrpouyan

Dr. Mehrpouyan's research focuses on ensuring privacy, security, and robustness of mission-critical cyber-physical systems. In Aug. 2016, she was awarded an NSF CISE Research Initiation Initiative (CRII) grant based on the proposal that was submitted to the Secure and Trustworthy Cyberspace (SaTC) program. Her main areas of interest are in requirement analysis and formal verification, compositional modeling and reasoning, safety and failure resilience modeling applied to complex engineering systems such as aircraft, spacecraft, automobiles, smart grid, and smart cities. To address these objectives, her research explores techniques and tools from different disciplines, i.e., model-based design from the system design community, model checking and formal verification from the software engineering community, and resilience analysis from the complex network theory.

Areas Of Interest