Hoda Mehrpouyan Assistant Professor, Co-Director of Cyber Lab for Industrial Control SystemsBoise State UniversityDr. Mehrpouyan received the Bachelor degree from British Columbia Institute of Technology (BCIT), Burnaby. Canada in 2007, and Master degree from Linkoping University, Linkoping, Sweden, and Ph.D. degree from Oregon State University, Corvallis, Oregon. She has collaborated with NASA Ames Research Center and Carnegie Melon University on designing and developing techniques and supporting tools for the verification of complex engineered systems during design. In the course of her graduate studies she has also had the opportunity to work as an intern at the Palo Alto Research Center (PARC) with the primary goal of establishing a ”correct-by-construction” design prior to detailed design and prototyping. For the last 15 years she has worked on mission and safety-critical, real-time, robotics and complex systems. More specifically her expertise in the fields of security and safety requirement analysis, formal verification and model checking, and complex systems and resiliency has resulted in several publications. As a Personal Investigator (PI), she was funded by NSA and NSF for the CyberGen program: GenCyber 2017 Teacher program and an NSF CISE Research Initiation Initiative (CRII) grant based on the proposal that was submitted to the Secure and Trustworthy Cyberspace (SaTC) program.