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

Bio
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.

Education
Publications
Research
Areas Of Interest