United States · Critical Infrastructure Cybersecurity · Reviewed 2026-10-15

Dr. Hoda Mehrpouyan

Cybersecurity researcher developing model-based testing and formal verification techniques to safeguard smart electrical grids, cyber-physical water systems, and industrial robots.

Official faculty profile ↗Research checked, not sponsored

Documented research interests and leadership

Research areas: Critical Infrastructure Cybersecurity, Formal Verification Methods, Autonomous Vehicle Cyber Safety, SCADA Vulnerability Analysis
Academic position: Associate Professor of Computer Science
Primary university source: Official directory entry ↗
Recruitment status: Not verified. Leadership profile does not imply active vacancies or assistantship availability.

Supervision and contact

Students interested in graduate or doctoral research supervision in Critical Infrastructure Cybersecurity, Formal Verification Methods, Autonomous Vehicle Cyber Safety are advised to consult formal department application channels.

Boise State guide ↗Computer-science subject guide ↗Mentorship ↗

Important verification note

Facts reflect official university directory records reviewed 2026-10-15. Faculty recruitment and admissions require formal application.

Reviewed 2026-10-15 · Editorial standards · Report an issue