|Aug'17||Paper got accepted in the 4th ACM International Conference on Systems for Energy-Efficient Built Environments (BuildSys 2017).|
|May'17||Paper got accepted in the Journal of Automated Reasoning - Springer (JAR).|
|Feb'17||Paper got accepted in the Journal of Applied Logic - Elsevier (JAL).|
|Jan'17||Serving as a Technical Program Committee member in the IEEE NEWCAS (2017) conference.|
|Oct'16||Paper accepted in the Design, Automation and Test in Europe (DATE 2017) conference.||Apr'16||I was ranked 3rd in Quebec to receive the prestigious FQRNT Postdoctoral Research Fellowship|
Khaza completed his Ph.D. in Electrical and Computer Engineering (Formal Verification) at Concordia University 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.
Ph.D. Research/Teaching Assistantship (RA/TA) in formal verification
Funded Ph.D. positions are available from Spring/Fall 2018 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 (target application domain: aerospace, automotive and smart-energy).
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.