Khaza Hoque
Associate Professor
Columbia, Missouri, United States
Summary
👤
Senior🎓
Top SchoolKhaza Hoque is an associate professor and research lab director at the University of Missouri–Columbia with eight years of academic experience focused on dependable cyber-physical systems, formal verification, and quantitative risk analysis. He leads the DCPS Laboratory developing methods and tools for modeling and formally verifying safety- and cost-critical systems in aerospace, automotive, and smart factory domains. His work spans probabilistic and formal methods—Bayesian inference, Monte Carlo, model checking—and he serves as an associate editor for ACM Transactions on Probabilistic Machine Learning. Khaza’s background blends hands-on engineering (from FPGA soft-error studies and avionics internships) with rigorous academic research, including postdoctoral experience at Oxford on RAMS and risk analysis. Based in Columbia, Missouri, he brings industry-collaborative experience (Bombardier, MDA) to his teaching and research, often translating complex formal methods into practical assurance solutions. A lesser-known aspect of his profile is long-standing integration of decision procedures with model checkers begun during his PhD, which underpins much of his lab’s tool-driven approach.
8 years of coding experience
12 years of employment as a software developer
Space Studies Program (SSP), Space Applications, Space Studies Program (SSP), Space Applications at International Space UniversityPhD, Electrical & Computer Engineering, PhD, Electrical & Computer Engineering at Concordia UniversityB.Sc Engineering, Computer Science & Engineering, B.Sc Engineering, Computer Science & Engineering at Ahsanullah University of Science & Technology
English, French, BengaliGithub contributions (5)
dependable-cps/FDIA-PdM
Nov 2019 - Jul 2020
Contributions:14 commits, 14 pushes in 7 months
dependable-cps/AdversarialAttack-PHM
Sep 2020 - Sep 2020
Contributions:4 commits, 3 pushes, 1 branch in 11 days
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.