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.