I am Md. Zahidul Islam. I am working as an assistant professor of Computer Science and Engineering discipline at Khulna University. I have completed an MS in Computer Science from the Department of Mathematics, Statistics and Computer Science of St. Francis Xavier University, NS, Canada. I have completed my B.Sc. in Computer Science and Engineering from Khulna University, Bangladesh. During my MS study, I worked as a research assistant at Centre for Logic and Information under the supervision of Dr. Wendy MacCull. As a part of my research I developed a One-Pass Tableau based model checker to verify CTL properties of healthcare workflow models.

Machine Learning, Computer Vision, Formal Verification and Model Checking, High Performance Computing and, Artificial Intelligence.

Master of Science in Computer Science
 St. Francis Xavier University,
Antigonish, NS, Canada.

Coming soon...