Khaza Anuarul Hoque

Who Am I ?

I am an Associate 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 also a senior member of IEEE and ACM.

What I Do?

Safety-critical Artificial Intelligence (AI) applications deployed on resource-constrained edge devices pose significant challenges due to their safety, reliability, security, privacy, and energy efficiency concerns. My research aims to address these issues through interdisciplinary research, with the ultimate goal of fundamentally transforming the design and deployment of dependable and trustworthy edge AI systems. My research has resulted in ~100 research papers in top venues (core rank A/A*) and research funding from the US National Science Foundation (NSF) and the Department of War (DoW).

What Impacts I Made?

February'25	Our work FlipLLM from HOST 2026 has been featured in the Mizzou News Turning an impossible defense problem into a manageable one .
Feb'26	Our paper 'RIFT: A Scalable Methodology for LLM Accelerator Fault Assessment using Reinforcement Learning' has been nominated for the Best Paper Award from IEEE DATE 2026 Conference.
November'25	Two papers on Fault tolerance and hardware security of edge LLMs have been accepted for publication in the IEEE/ACM DATE 2026 and IEEE HOST 2026 conference !
October'25	I am serving as the Research Technical Program Subcommittee Chair (SEC2. Hardware Security: Primitives, Architecture, Design & Test), for the ACM/ESDA/IEEE Design Automation Conference (DAC 2026) .
October'25	Our team has won the 'best poster from conference papers' award in the IEEE ISMAR 2025 conference (core rank A*). Congratulations to the team !
July'25	I have received the 'Outstanding TPC Member Award' from the IEEE/ACM Design Automation Conference (DAC), 2025 !
May'25	Our paper on Hardware Trojan detection using LLMs is now available on IEEE Access .
February'25	I am serving as the Finance Chair for the 43rd IEEE International Conference on Computer Design (ICCD 2025) .

Activities

Journal Editorship:

1. Associate Editor, 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. Technical Program Subcommittee Chair (SEC2. Hardware Security: Primitives, Architecture, Design & Test), ACM/ESDA/IEEE Design Automation Conference (DAC 2026).
2. Organizing Chair, the 1st International Workshop on Trustworthy, Secure, and Privacy-Aware Artificial Intelligence for Extended Reality Applications (TRUST-XR 2025).
3. Finance Chair, 43rd IEEE International Conference on Computer Design (ICCD 2025).
4. Program Committee Co-chair, IEEE International Conference on Engineering Reliable Autonomous Systems (ERAS 2025).
5. Organizing Chair, the 14th Central Area Networking and Security Workshop (CANSec 2021).
6. 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 Conference on Intelligent User Interfaces (ACM IUI 2026)
4. IEEE World Congress on SERVICES (IEEE SERVICES 2025)
5. LLM Assisted Security and Trust Exploration (LAST-X) Workshop co-located with NDSS 2026.
6. ACM/ESDA/IEEE Design Automation Conference (DAC 2025, DAC 2019-2021)
7. The 15th IEEE International Green and Sustainable Computing Conference (IGSC 2024)
8. IEEE/ACM Design, Automation and Test in Europe Conference (DATE 2025, DATE 2022)
9. The 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE 2024)
10. The 30th IEEE International Conference on Computer Communications and Networks (ICCCN 2022)
11. International Workshop on Big Data Analytics of Cyber-Physical Systems (CPSBigData 2019)
12. Annual IEEE International Systems Conference (SysCon 2018-2021)
13. IEEE International NEW Circuits And Systems (NEWCAS 2017-2018)
14. IFIP International Conference on Computer Intelligence and Its Applications (CIIA 2018)

Peer-Reviewer for Journals:

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

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 Comouter Aided Formal Verification (ECE 8001: Every Fall)
VHDL & Programmable Logic Controllers (ECE 4250/7250: Every Spring Semester)

Honors and Awards

1. Best Paper Award Nomination, IEEE/ACM Design, Automation, and Test in Europe (DATE) Conference, 2026 .
   
2. Outstanding TPC Member Award, IEEE/ACM Design Automation Conference (DAC), 2025
   
3. Best Poster Award–Posters from Conference Papers, IEEE International Symposium on Mixed and Augmented Reality (ISMAR), 2025
   
4. EECS Junior Faculty Excellence in Teaching 2024 award from the Electrical Engineering and Computer Science (EECS) department, University of Missouri-Columbia, 2024
   
5. Best Paper Award Nomination, the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), 2023
   
6. EECS Junior Faculty Excellence in Research 2023 award from the Electrical Engineering and Computer Science (EECS) department, University of Missouri-Columbia, 2023
   
7. Junior Faculty Excellence in Teaching 2022 award from the College of Engineering (CoE), University of Missouri-Columbia, 2022
   
8. Best Poster Award–Posters from Conference Papers, IEEE International Symposium on Mixed and Augmented Reality (ISMAR), 2025
   
9. FQRNT Postdoctoral Fellowship Award, Fonds de Recherche du Qubec - Nature et Technologies (FQRNT), Canada, 2016-2018.
   
10. Concordia Accelerator Award, Concordia University, 2015.
    
11. ISU SSP Scholarship from International Space University to attend Space Studies Program (SSP), France, 2014.
    
12. FQRNT Doctoral Research Award, Fonds de Recherche du Qubec - Nature et Technologies (FQRNT), Canada, 2012.
    
13. Deans Funding for Graduate Students, Concordia University (2011- 2014 and 2008-2010), Canada.
    
14. Financial Support for Conference Participants, Microsystems Strategic Alliance of Qubec (ReSMiQ), 2013, 2014, 2015.
    
15. Concordia University Conference and Exposition Award, School of Graduate Studies, Concordia University, 2013, 2014, 2015.
    
16. ENCS Conference Support, Faculty of Engineering and Computer Science, Concordia University, 2013.
    
17. Best Paper Award for outstanding contribution from 8th IEEE International NEWCAS Conference, Canada, 2011.
    
18. Student Travel Award, NASA Lunar Science Forum, NASA Ames Research Center, USA, 2010.
    
19. ReSMiQ Scholarship forMaster Students, Microsystems Strategic Alliance of Quebec (ReSMiQ), Canada, 2010.
    
20. ReSMiQ Scholarship for Master Students from Microsystems Strategic Alliance of Quebec (ReSMiQ), Canada, 2009.