Skip to main content

Chibuzo Ukegbu

Advisor: Dr. Hoda Mehrpouyan


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


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.