|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|
|Apr '16||Paper accepted in the NASA Formal Methods (NFM 2016) conference.|
|Feb '16||Successfully defended Ph.D. thesis, accepted "as is" with an "outstanding" predicate.|
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.