Khaza Anuarul Hoque
Khaza Anuarul Hoque, Assistant Professor
Electrical Engineering and Computer Science

Biography
Khaza Anuarul Hoque is an assistant professor in the Electrical Engineering and Computer Science Department at University of Missouri. His research mission is to develop theory, methods and tools for supporting modeling, design and verification of high-assurance (dependable) embedded and cyber-physical systems (CPS). So far, his research has been successfully applied across various domains including aerospace, optical networks and smart-energy systems.
Before joining the University of Missouri, he worked as a postdoctoral research fellow in the Department of Computer Science at the University of Oxford and was funded by the prestigious FRQNT Postdoctoral Fellowship. He also worked briefly as a research associate at the University of Texas-Arlington.
Education
Ph.D. from Concordia University, Canada
M.A.Sc. from Concordia University, Canada
Technical Focus
Formal verification
Cyber-physical systems
Fault tolerant systems