Skip to Navigation Skip to Page Content

Khaza Anuarul Hoque Assistant Professor


Dr. Hoque will be joining the Electrical Engineering and Computer Science Department at the University of Missouri in January 2018 as an Assistant Professor. He was one of the recipients of prestigious FRQNT Postdoctoral Fellowship in 2016 from Fonds de recherche du Québec – Nature et technologies (FRQNT). Before joining MU, he was an FRQNT Postdoctoral Research Fellow in the Dept. of Computer Science at the University of Oxford.

Dr. Hoque’s research goal is to develop theory, methods, and tools for supporting modeling, design, and verification of high-assurance (dependable) Embedded and Cyber-Physical Systems (CPS). His research has been successfully applied across various domain areas including aerospace, optical networks, and smart-energy systems.

Technical Focus

  • Formal verification
  • Cyber-physical systems
  • Fault tolerant systems


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