Khaza Anuarul Hoque

Ph.D. Candidate

Hardware Verification Group (HVG)
Department of Electrical and Computer Engineering
Concordia University

I am a Ph.D. student in the Hardware Verification Group (HVG), Department of Electrical and Computer Engineering, at Concordia University. I am working under the supervision of Prof. Otmane Ait Mohamed and Prof. Yvon Savaria. Previously, at Concordia University, I received my M.A.Sc. in Electrical and Computer Engineering with research in the area of Hardware Formal Verification . Prior to that I received my B.Sc. degree in Computer Science and Engineering from Ahsanullah University of Science and Technology, Bangladesh.

What's new

• May 9th, 2012 : Finished my comprehensive written and oral exam. Officially a Ph.D Candidate now ! 
• Our Jouranl paper "MDG-SAT: an automated methodology for efficient safety checking" is published in IJCCBS.
• Our paper "SAT Based Model Checking for MDG Models " won the "Best Paper" award in 8th IEEE NEWCAS 2010.