Chibuzo Ukegbu

Email: chibuzoukegbu@u.boisestate.edu
Advisor: Dr. Hoda Mehrpouyan

Education

Emphasis in Cyber Security
M.S. Information Technology
B.S. Computer Science

Biography

My research focuses on formal verification and analysis of industrial control systems software. Analysis and assessment of the strengths of various formal verification tools; and currently, I’m working on merging ontology, descriptive logic, temporal logic and operational semantics to achieve an intelligent and efficient formal verification framework for safety-critical ICS.