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,

• Data Mining,

• Formal Verification and Model Checking,

• High Performance Computing,

• Artificial Intelligence.

• 2009–2012 M.Sc. in Computer Science,
  St. Francis Xavier University,
  Department of Mathematics, Statistics, & Computer Science,
  Antigonish, NS, Canada.

• 2002–2007 B.Sc. in Computer Science and Engineering,
  Khulna University,
  Department of Computer Science and Engineering,
  Khulna, Bangladesh.

• 1999–2001 Higher Secondary Certificate (HSC),
  Jhenidah Cadet College,
  Science Group,
  Jhenidah, Bangladesh.
  passing year1999

• Secondary School Certificate (SSC),
  Jhenidah Cadet College,
  Science Group,
  Jhenidah, Bangladesh.

• July 2012 Level 2 Certificate in Adult Numeracy,
  The City and Guilds of London Institute.

• June 2012 Level 2 Certificate in Adult Literacy,
  The City and Guilds of London Institute.

Refereed journal contributions

• 2012 Md. Zahidul Islam, Ahemd Shah Mashiyat, Kashif Nizam Khan and SM Masud Karim,
  “A Tableau Based Automated Theorem Prover Using High Performance Computing",
  in Journal of Computers, Volume 7, Number 3, March 2012, pp. 597-607, Academy
  Publisher, Oulu, Finland.

• 2008 Md. Rafiqul Islam, Md. Zahidul Islam and Nazia Leyla, “A tree based approach
  to matchmaking algorithms for Resource Discovery", in International Journal of Network
  Management, Volume 18, Issue 5, pp. 427-436, September/October 2008, Wiley
  Publishers, Print ISSN: 1055-7148, DOI:10.1002/nem.686.
  Refereed conference contributions

• 2014 Md. Zahidul Islam and Amit Kumar Mondal, “Towards a Standard Bangla PhotoOCR:
  Text Detection and Localization”, in Proceedings of 17th International Conference
  on Computer and Information Technology (ICCIT), 22-23 December, 2014, Dhaka,
  Bangladesh, pp.198-203.

• 2012 Md. Zahidul Islam and Wendy MacCaull, “A One-Pass Tableau-Based Workflow Verification
  Framework", The Third Workshop on Practical Aspects of Automated Reasoning
  (PAAR-12), associated with the 6th International Joint Conference on Automated
  Reasoning (IJCAR-2012), Manchester, UK.

• 2010 Md. Zahidul Islam, Ahemd Shah Mashiyat, Kashif Nizam Khan and SM Masud Karim,
  “Towards A Tableau Based High Performance Automated Theorem Prover", International
  Conference on Computer and Information Technology (ICCIT), 2010, Dhaka,
  Bangladesh, pp.406-411.

• 2007 Md. Rafiqul Islam, Md. Zahidul Islam and Nazia Leyla, “A Matchmaking Algorithm
  for Resource Discovery on Grid", in proceedings of International Conference on
  Information and Communication Technology, 7-9 March, 2007, Dhaka, Bangladesh,
  pp.193-196.

• 2005 Kashif Nizam Khan, Md. Zahidul Islam, Jinat Rehana and Md. Saidur Rahman
  “Development of a Bangla Speech Driven Application", in proceedings of International
  Conference on Computer and Information Technology, 28-30 December 2005, Islamic
  University of Technology, Gazipur-1704, Bangladesh, pp.1015-1020.
  Non refereed poster presentations

• 2010 Md Zahidul Islam and W. MacCaull, “A framework for automated verification of
  workflow using timed temporal logic in a distributed memory environment", APICS
  Math/CS Conference, Graduate Session, Halifax.
  Under review

• 2014 “A New Approach to Access Control in Cloud” - submitted to Arabian Journal for
  Science and Engineering (AJSE Engineering)
  Working paper
  Embedded System Verification
  Faster Image Segmentation
  Sentiment Analysis
  Course projects (as a part of my M.Sc. Degree)
  Parallel tableau thorem prover for propositional logic using MPIJava.
  An Efficient Approach to Verify Workflow Management Systems in Health Care with
  Automated Theorem Proving.
  A report on "Tractable and Intractable Problems".
  
  Course projects (as a part of my B.Sc. Degree)
  Development of a bangla speech driven application using Java.
  Library management system of Khulna University using VB.NET, Sql Server 2000 and
  Crystal Report 9.
  Break through a computer game using C and OpenGL.
  System Analysis, design and development of a management system for Hotel Bosundhara
  using Visual basic, MS Access, HTML, ASP.