Bio
Dr. Mehrpouyan’s research focuses on ensuring privacy, security, and robustness of mission-critical cyber-physical systems. In May 2019, she was awarded a National Science Foundation CAREER Award from the Secure and Trustworthy Cyberspace (SaTC) program. The proposal titled “Formal TOols foR SafEty aNd Security of Industrial Control Systems (FORENSICS)” will develop a multi-layer security framework to provide control technicians and engineers with far superior mechanisms to address the increasing risk of cybersecurity attacks on vulnerable systems. In addition, 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;
Further, for her work on cybersecurity of the election process in Idaho, she has received funding from the Idaho Secretary of State and for her outreach efforts, she received fundings from the National Security Agency (NSA), GenCyber Teacher program in 2017 and 2019.
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 water treatment plants, smart manufacturing, 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.
She has open Master/PhD positions available in her lab. If interested, please email her with your application package.