Khaza Anuarul Hoque

About Me

I am an Assistant Professor in the Electrical Engineering & Computer Science Department at University of Missouri (MU), Columbia, USA. My research mission is to develop theory, methods, and tools for supporting modeling, design, and verification of high-assurance (dependable) Hardware and Cyber-Physical Systems (CPS). 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.

If you are a propsective graduate student and looking for a position to join my research team, then click here for available positions and requirements. Strong background machine learning, adversarial machine learning and/or Cyber-physical systems, formal methods/logic/automata theory is preferred.

Current Research Interests:

• Formal Verification: Model checking, probabilistic model checking, and runtime monitoring.
• Secured, Resilient and Trustworthy Machine Learning: Cybersecurity issues in machine learning enabled cyber-physical systems and IoT.
• Dependable Hardware for Deep Learning: Modeling and analysis of transient/permanent faults and security issues in deep learning accelerators.
• Safety, Security, and Privacy Issues in High-speed Cloud-based Applications: Modeling, detection and mitigation of cybersecurity issues in Virtual Reality (VR) applications.

News

December'20	[Paper] accepted at the ISQED 2021 conference.
September'20	[Paper] accepted at the ICMLA 2020 conference.
September'20	[Paper] accepted at the IEEE AIPR workshop 2020 conference.
June'20	[Paper] accepted at the IOLTS 2020 conference.
April'20	[Paper] presented at the NOMS 2020 conference.

Publications

Activities

Technical Program Committee (TPC) Membership:

1. The 57th ACM/ESDA/IEEE Design Automation Conference (DAC 2020)
2. The 56th ACM/ESDA/IEEE Design Automation Conference (DAC 2019)
3. The 14th Annual IEEE International Systems Conference (SysCon 2020)
4. The 13th Annual IEEE International Systems Conference (SysCon 2019)
5. The 12th Annual IEEE International Systems Conference (SysCon 2018)
6. The 6th IFIP International Conference on Computer Intelligence and Its Applications (CIIA2018)
7. The 16th IEEE International NEW Circuits And Systems (NEWCAS 2018)
8. The 15th IEEE International NEW Circuits And Systems (NEWCAS 2017)

Reviewer for journals:

1. IEEE/ASME Transactions on Mechatronics
2. IEEE Transactions on Information Forensics and Security
3. Reliability Engineering and System Safety-Elsevier
4. IEEE Transactions on Reliability
5. IEEE Journal on Emerging and Selected Topics in Circuits and Systems

Reviewer for conferences:

1. International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2017)
2. Design Automation Conference (DAC 2017)
3. IEEE Real-Time Systems Symposium (RTSS 2016)
4. IEEE International Conference on Microelectronics (ICM 2014)
5. IEEE International Conference on Computer Design (ICCD - 2013)
6. IGI Global Book Chapters, Network Security Technologies: Design and Applications (2013)
7. IEEE International NEWCAS Conference (NEWCAS 2013)
8. IEEE International Symposium on Modeling and Implementation of Complex Systems (MISC 2012)
9. IEEE International Conference on Computer Design (ICCD - 2012)
10. IEEE International Conference on Microelectronics (ICM 2012)
11. IEEE International Conference on Frontiers of Information Technology (FIT 2012)

Biography

Khaza completed his Ph.D. in Electrical and Computer Engineering (Formal Verification) at Concordia University, Montreal, Canada in 2016. Previously at Concordia University he received his M.A.Sc. in Electrical and Computer Engineering with research in the same area. He also participated in the Space Studies Program (SSP - a graduate level professional development program) by International Space University (ISU) in 2014, supported by the ISU partial tuition scholarship.

During his Master and Ph.D., Khaza was supported by many institutional, provincial and international awards including the prestigious FQRNT Doctoral Research Award from the Fonds de recherche du Québec - Nature et technologies, Canada. Khaza also worked as a Research Intern in Nuance Communication and Bombardier Aerospace in 2010 and 2013 respectively.

Khaza represented Bangladesh (2014-2016) in Space generation advisory council (SGAC) as the National Point of Contact (NPoC). SGAC has the observer status in United Nations Committee for Peaceful Use of Outer Space (UNCOPUOS). SGAC works on the international, national and local level to link together university students and young professionals to think creatively about international space policy issues. SGAC works as the voice of young space leaders to the UN.

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.

Faculty:

• Prof. Khaza Anuarul Hoque

Current Lab Members:

• Ernest Bonnah (Ph.D. student, Spring 2020-date)
• Ayesha Siddique (Ph.D. student, Spring 2020-date)
• Prachi Tripathi (M.Sc. student, Spring 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)
• 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.

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
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)
Problems in Electrical and Computer Engineering (ECE 8085: 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.