Khaza Anuarul Hoque

About Me

I am an Assistant Professor in the Electrical Engineering & Computer Science Department at University of Missouri (MU), Columbia, USA. I direct the Dependable Cyber-Physical Systems (DCPS) Laboratory at the University of Missouri-Columbia. Before joining MU, I was an FRQNT postdoctoral fellow at the University of Oxford, UK.

I am the recipient of the 2023 EECS Junior Faculty Excellence in Research Award, 2022 MU College of Engineering Junior Faculty Excellence in Teaching Award, 2016 Fonds de Recherche du Quebec-Nature et Technologies (FRQNT) Postdoctoral Fellowship Award, 2012 FRQNT Doctoral Research Award, 2011 IEEE International NEWCAS Conference Best Paper Award, and several other awards.

Research Interests

My research goal is to develop theory, methods, and tools to support the design, analysis, and formal verification of safe, secure, trustworthy, and energy-efficient AI and cyber-physical systems by leveraging interdisciplinary techniques from formal methods, cyber security, and machine learning. My research has been successfully applied to diverse domains, including Edge AI hardware, Extended reality systems (XR), and Robotics.

News

February'25	I am serving as the Finance Chair for the 43rd IEEE International Conference on Computer Design (ICCD 2025) .
Januaru'25	Our paper titled ‘Explainable AI-Guided Efficient Approximate DNN Generation for Multi-Pod Systolic Arrays’ has been accepted for publication in the 26th International Symposium on Quality Electronic Design (ISQED 2025). Congratulations Ayesha!
Januaru'25	Three papers on VR privacy and safety have been accepted for publication in the 32nd IEEE Conference on Virtual Reality and 3D User Interfaces (IEEE VR) conference (core rank A*). Congratulations Ripan!
September'24	Our paper, "Efficient SMT-Based Model Checking for HyperTWTL," has been accepted for the 25th International Conference on Formal Engineering Methods (ICFEM 2024). Congratulations Ernest!
July'24	I am serving as a Technical Program Committee Co-Chair for IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS 2025).
July'24	I am serving as a Technical Committee Member for ACM/IEEE Design, Automation and Test in Europe Conference (DATE 2025).
July'24	Three papers on VR privacy and safety from our group have been accepted for publication in the 23rd IEEE International Symposium on Mixed and Augmented Reality (ISMAR 24) conference (core rank A*).
March'24	I am serving as a Technical Committee Member for ACM/IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2024).
February'24	My Ph.D. student Ayesha Siddqiue has secured an Assistant Professor position at University of Maine, Maine (R1). Congratulations, Ayesha!
November'23	My Ph.D. student Ernest Bonnah has secured an Assistant Professor position at Baylor University, Texas (R1). Congratulations, Ernest!
November'23	Our paper titled "Moving Target Defense through Approximation for Low-Power Neuromorphic Edge Intelligence" has been accepted for publication in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) (IF 2.9).
October'23	Our project titled "Explainable AI-guided Trustworthy and Interactive Cybersickness Detection and Mitigation for Next Generation Army Warfighters" has been awarded a $450,000K grant (Sole PI) from the Army Research Lab (ARL). Thank you, ARL.
September'23	Our paper titled "Model Checking Time Window Temporal Logic for Hyperproperties" was nominated for the 'Best Paper Award' in MEMOCODE 2023 conference.
September'23	Our project titled "Collaborative Research: DESC: Type I: SEEDED: Sustainability-aware Reliable and Reusable AI Hardware Design " has received a $600K grant (Lead PI) from National Science Foundation (NSF) with a 'highly competitive' ranking. Thank you, NSF.
July'23	Two Papers from our lab have been accepted in the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2023) conference titled "QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring" and "Model Checking Time Window Temporal Logic for Hyperproperties".
May'23	I have received the "2023 EECS Junior Faculty Excellence in Research Award" award from the Electrical Engineering and Computer Science (EECS) department, MU.
April'23	We are attending Design, Automation and Test in Europe (DATE 2023) conference to present two papers from our lab. Here goes the Preprint version of Paper 1 and Paper 2.
March'23	I am serving as an Editorial Board Member of the ACM Transactions on Probabilistic Machine Learning journal.
March'23	Our paper on Hyperproperties for motion planning has been accepted in the IEEE Robotics and Automation Letters (RA-L) journal (IF 5.43)
January'23	Our paper titled "Exposing Reliability Degradation and Mitigation in Approximate DNNs under Permanent Faults" has been accepted for publication in IEEE Transactions on Very Large Scale Integration (VLSI) Systems (IF 2.775).
January'23	Our paper titled "VR-LENS: Super Learning-based Cybersickness Detection and Explainable AI-Guided Deployment in Virtual Reality " has been accepted for publication in ACM Conference on Intelligent User Interfaces (ACM IUI) (core rank A).
December'22	Our paper titled "LiteVR: Interpretable and Lightweight Cybersickness Detection using Explainable AI" has been accepted for publication in IEEE Virtual Reality Conference (core rank A*).
November'22	Two Papers from our lab have been accepted in the Design, Automation and Test in Europe (DATE 2023) conference titled "Improving Reliability of Spiking Neural Networks through Fault Aware Threshold Voltage Optimization" and "Security-Aware Approximate Spiking Neural Network".
October'22	Our paper titled "Detection of Security and Privacy Attacks Disrupting User Immersive Experience in Virtual Reality Learning Environments" has been accepted for publication in the IEEE Transactions on Services Computing (IEEE TSC) Journal (IF 11.02).
Sept'22	Our paper titled ‘TruVR: Trustworthy Cybersickness Detection using Explainable Machine Learning’ has been accepted for publication in the 21st IEEE International Symposium on Mixed and Augmented Reality (ISMAR 22) conference (core rank A*).
March'22	I have received the "Junior Faculty Excellence in Teaching" award from the College of Engineering, MU.

Activities

Journal Editorship:

1. Editorial Board Member, ACM Transactions on Probabilistic Machine Learning (2023-Date)
2. MDPI Sensors (ISSN 1424-8220), Guest Editor for the Special Issue: Emerging Smart and Intelligent Wearable/Implantable Sensors for IoT and Biomedical applications, 2020.

Conference Organization/Activities:

1. Finance Chair, 43rd IEEE International Conference on Computer Design (ICCD 2025).
2. Program Committee Co-chair, IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS 2025).
3. Organizing Chair, the 14th Central Area Networking and Security Workshop (CANSec 2021).
4. Session Chair, 56th ACM/ESDA/IEEE Design Automation Conference (DAC 2019).

Technical Program Committee/Technical Committee Membership:

1. IEEE Technical Committee on Verification of Autonomous Systems (VAS)
2. IEEE Technical Committee on Cyber-Physical Systems (CPS)
3. ACM/ESDA/IEEE Design Automation Conference (DAC 2025, DAC 2019-2021)
4. The 15th IEEE International Green and Sustainable Computing Conference (IGSC 2024)
5. IEEE/ACM Design, Automation and Test in Europe Conference (DATE 2025, DATE 2022)
6. The 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2024)
7. The 30th IEEE International Conference on Computer Communications and Networks (ICCCN 2022)
8. International Workshop on Big Data Analytics of Cyber-Physical Systems (CPSBigData 2019)
9. Annual IEEE International Systems Conference (SysCon 2018-2021)
10. IEEE International NEW Circuits And Systems (NEWCAS 2017-2018)
11. IFIP International Conference on Computer Intelligence and Its Applications (CIIA 2018)

Peer-Reviewer for Journals:

1. Computers & Security---Elsevier
2. IEEE IEEE Robotics and Automation Letters
3. IEEE Transactions on Artificial Intelligence
4. IEEE/ASME Transactions on Mechatronics
5. IEEE Transactions on Information Forensics and Security
6. Reliability Engineering and System Safety-Elsevier
7. IEEE Transactions on Reliability
8. IEEE Journal on Emerging and Selected Topics in Circuits and Systems

Dependable Cyber-Physical Systems (DCPS) Laboratory

The research mission of Dependable Cyber-Physical Systems (DCPS) Laboratory is to develop theory, methods, and tools for supporting modeling, design, and (formal) verification of highly dependable Cyber-Physical Systems (CPS). Specifically, the goal of DCPS lab is to enhance the reliability, safety, and security of complex computing systems that are common in safety-critical and cost-critical domains such as aerospace, automotive and smart factory.

You can follow DCPS Lab updates via LinkedIn

Faculty:

• Prof. Khaza Anuarul Hoque

Ph.D. Students :

• Amjad Falih Hasan (Spring 2023-date)
• Ripan Kumar Kundu (Spring 2022-date)
• Ernest Bonnah (Spring 2020-date)
• Ayesha Siddique (Spring 2020-date)

MS Students :

• Prachi Tripathi (M.Sc. Project student, Spring 2021-date)

High-School Interns :

• Shadid Shakhawat (Rock Bridge High School, Fall 2021-date)

Past Lab Members:

• Gautam Mode (M.Sc. student, Fall 2018-Fall 2020).
• Samaikya Valluripally (Ph.D. student, Fall 2018-Fall 2020, co-mentored with Dr. Calyam). Current position: Senior Product Security Engineer, Intel, Hillsboro, OR.
• Ahmet Soyyigit (Visiting researcher, Fall 2019). Current position: Ph.D. student at the University of Kansas
• Aniket Gulhane (M.Sc. student, Fall 2018-Fall 2019, co-mentored with Dr. Calyam). Current position: Software developer at Paycom Software, Inc.
• Terrell Pickens (Ungergraduate research intern, Summer 2019). Current position: Senior undergradaute student at the Lincoln University, MO.

Sponsors:

     

Prospective Students

Ph.D. Research/Teaching Assistantship (RA/TA) in formal verification
Funded Ph.D. positions are available for Fall 2020 in EECS department at the University of Missouri, Columbia, USA under the supervision of Dr. Khaza Anuarul Hoque. The research project will focus on the development of formal verification based techniques for designing dependable and safe cyber-physical systems.

Established in 1849, the University of Missouri College of Engineering’s excellence includes nine disciplines, 130 faculty members, more than 3,300 of the brightest undergraduates on campus and more than 600 exceptional graduate students at the flagship campus of the UM System. Electrical engineering at MU was established in 1884 – the first electrical engineering program in the nation. Located in the heart of Missouri, the College of Engineering at Mizzou operates the University of Missouri Research Reactor, the most powerful nuclear research reactor on a university campus nationwide.

Successful candidates will receive financial support as Research/Teaching Assistants (RAs/TAs), and will also be awarded full tuition waiver. Candidates with expertise in one or more of the following priority areas are especially encouraged to apply.

Requirements:

1. Excellent academic results in B.Sc/M.Sc. with major in computer science/electrical engineering. The exact admission requirements are available here.
   
2. Strong background in mathematics (e.g. stochastic modeling, Markov chain) is required. Knowledge of formal verification/automata theory (especially, model checking) will be counted as a strong plus, but not mandatory.
   
3. Strong programming skills (C/C++, Python) is required. Good understanding of graph theory, dynamic programming, machine learning and optimization techniques are also mandatory.

The interested candidates are suggested to send an email to Dr. Hoque including (1) an email that expresses your interest to the specific research topic, and demonstrate how you meet the above-mentioned requirements, and (2) your curriculum vitae, including a list of publications (if any).

Note: Due to large volume of emails, I cannot reply to every email, but I will do my best to reply to competitive applicants.

Teaching

University of Missouri - Columbia
Hardware Formal Verification (ECE 8001: Fall 2021)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Fall 2021)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Spring 2021)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Fall 2020)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Spring 2020)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Fall 2019)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Spring 2019)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Fall 2018)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Spring 2018)

Honors and Awards

1. FQRNT Postdoctoral Fellowship Award, Fonds de Recherche du Qubec - Nature et Technologies (FQRNT), Canada, 2016-2018.
   
   
2. Concordia Accelerator Award, Concordia University, 2015.
   
   
3. ISU SSP Scholarship from International Space University to attend Space Studies Program (SSP), France, 2014.
   
   
4. FQRNT Doctoral Research Award, Fonds de Recherche du Qubec - Nature et Technologies (FQRNT), Canada, 2012.
   
   
5. Deans Funding for Graduate Students, Concordia University (2011- 2014 and 2008-2010), Canada.
   
   
6. Financial Support for Conference Participants, Microsystems Strategic Alliance of Qubec (ReSMiQ), 2013, 2014, 2015.
   
   
7. Concordia University Conference and Exposition Award, School of Graduate Studies, Concordia University, 2013, 2014, 2015.
   
   
8. ENCS Conference Support, Faculty of Engineering and Computer Science, Concordia University, 2013.
   
   
9. Best Paper Award for outstanding contribution from 8th IEEE International NEWCAS Conference, Canada, 2011.
   
   
10. Student Travel Award, NASA Lunar Science Forum, NASA Ames Research Center, USA, 2010.
    
    
11. ReSMiQ Scholarship forMaster Students, Microsystems Strategic Alliance of Quebec (ReSMiQ), Canada, 2010.
    
    
12. ReSMiQ Scholarship for Master Students from Microsystems Strategic Alliance of Quebec (ReSMiQ), Canada, 2009.