Khaza Anuarul Hoque

Khaza Anuarul Hoque

Khaza Anuarul Hoque, Assistant Professor

Electrical Engineering and Computer Science

Khaza Hoque Portrait


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.


Ph.D. from Concordia University, Canada
M.A.Sc. from Concordia University, Canada

Technical Focus

Formal verification
Cyber-physical systems
Fault tolerant systems

Enter your keyword