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.
9 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, Bengali
Github Skills (17)
gru10
iot-security10
linear-regression10
regression10
lstm10
sensor-fusion10
predictive-analytics10
cybersecurity9
deep-learning8
time-series-forecasting8
adversarial-attacks7
neural-network7
adversarial-machine-learning7
regression-models6
time-series5
Programming languages (2)
Github contributions (5)
diner007/diner007.github.io
Aug 2017 - Jun 2026
Contributions:398 pushes in 8 years 11 months
dependable-cps/website
Mar 2022 - Jun 2026
Contributions:3 PRs, 279 pushes, 9 branches in 4 years 4 months
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.