Address:

    Computer Science and Engineering Discipline Khulna University, Khulna-9208, Bangladesh.

    Email:

    zahid@cseku.ac.bd

    Contact:

    +880-41-720171-3

    Personal Webpage:
    click here

Md. Zahidul Islam

Assistant Professor

Research Interest:

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


Education

  • 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.


Bio

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.

Experiences

2012–present Assistant professor (full-time permanent faculty),

Computer Science and Engineering Discipline, Khulna University, Bangladesh.

 

2012–2014 Holding Problem Solving Sessions for ACM/ICPC, CSE Discipline, Khulna University, Bangladesh.

 

2009–2012 Research assistant,

Center for Logic and Information, St. FX University, NS, Canada.

 

2010–2011 Teaching assistant,

Dept. of Math, Statistics and Computer Science, St.FX University, NS, Canada.

 

2009–2010 Teaching assistant,

Dept. of Math, Statistics and Computer Science, St.FX University, NS, Canada.

 

2008–2012 Lecturer (full-time permanent faculty),

Computer Science and Engineering Discipline, Khulna University, Bangladesh.

 

2007-2008 Part-time faculty member,

Computer Science and Engineering Discipline, Khulna University, Bangladesh.

Publication

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.