Md Zahidul Islam 
Assistant Professor
Computer Science & Engineering Discipine
Khulna University, Khulna - 9208,
Bangladesh.
zahid@cseku.ac.bd
8801711574277
Hi there, welcome to my site...
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.
My areas of interest include Machine Learning, Computer Vision, Formal Verification and Model Checking, High Performance Computing and, Artificial Intelligence.
2006
Graduated with honors
2007
Web developer
2008
Software engineer
2008
Lecturer
2012
Completed Masters
2012
Assistant professor
RESUMÉ
ACADEMIC AND RESEARCH EXPERIENCE
Computer Science and Engineering Discipline,
Khulna University
Courses I conducted
- CSE 2101 Data Structures
- CSE 2102 Data Structure Laboratory
- CSE 2203 Computer Architecture
- CSE 2208 Assembly Language
- CSE 2202 Algorithms Laboratory
- CSE 5403 Machine Learning
Northern University,
Khulna campus, Bangladesh
Courses I conducted
- CIT 1101 Introduction to Computers
Dept. of Math, Statistics and Computer Science,
St.FX University, NS, Canada.
Courses I conducted
- CSCI 235 Micro-Computers in Science
- CSCI 256 Data Struct & Algorithm Analysis
Computer Science and Engineering Discipline,
Khulna University
Courses I conducted
- CSE 3203 Information System Analysis and Design
- SOCIO 1201 Basic Computers
- SOCIO 1202 Computer Application
- CSE 3201 Database Systems
- PGD-211 Data Structure and Algorithm
- PGD-212 Visual and Internet Programming
Computer Science and Engineering Discipline,
Khulna University
Courses I conducted
- CSE 3103 Software Engineering
- ECE 2151 Data Structures and Algorithms
- BGE 2151 Computer Programming
INDUSTRIAL EXPERIENCE
Dot Net Explorer Ltd.,
Dagenham, United Kingdom.
- Involved in analysis and design of various web-based applications; preparing detailed specification documents with clear project deliverables and timeliness; to ensure timely completion of deliverables; participate in meetings regarding project estimation and planning.
European Union Technical Assistance for Sundarban Environmental and Livelihoods Security (SEALS) Project, REF: Europe Aid/129903/C/SR/BD
Bano Bhaban, Boyra, Khulna Circle.
- Providing technical support to the field staffs for the successful implementation of SMIST software. Analyzing the data, collected using the SMIS software during patrolling and generating various reports according to the requirement of the Project Director and Team Leader.
Dot Net Explorer Ltd.,
Dagenham, United Kingdom.
- Working with members of the development team to develop detailed specification documents with clear project deliverables. Meeting clients regarding project estimation and planning. Producing technical end user documentation and operational procedures with the help of other team members.
Dohatec New Media,
Dhaka, Bangladesh.
- As a software engineer my responsibility was to coordinate, solve problems, code and test software, and report to team leader.
Dot Net Explorer Ltd.,
Dagenham, United Kingdom.
- Working with Project Managers to build and refine graphic designs for applications, determining appropriate architecture, and other technical solutions. Developing web applications according to user requirements with the guidance of lead software engineer. Preparing technical end-user documentation for the clients.
EDUCATION
St. Francis Xavier University,
Antigonish, NS, Canada.
- Department of Mathematics, Statistics,& Computer Science,
Khulna University,
Khulna, Bangladesh.
- Department of Computer Science and Engineering
Jhenidah Cadet College,
Jhenidah, Bangladesh.
- Science Group
Jhenidah Cadet College,
Jhenidah, Bangladesh.
- Science Group
ACADEMIC AND RESEARCH AWARDS
CURRENT RESEARCH
I am working on it!!!! Will upload ASAP :)
RESEARCH CONTRIBUTIONS
MS Thesis: A tableau-based workflow verification framework for Computation Tree Logic (CTL)
Supervisor: Dr. Wendy MacCaull
Abstract
Workflow management systems (WfMS) provide convenient ways to visualize, analyse and automate work processes. Safety critical systems must ensure an error free workflow execution to ensure the safety of the clients. While formal verification techniques can be used in the development stages to help ensure behavioral properties of such systems, such techniques are generally lacking in workflow tools. We present a framework which allows us to model workflows using a Petri net based modelling tool and translate the model to a tableau style model checker. The framework uses the recently introduced one-pass algorithm, shown to deliver enhanced performance over traditional two-pass strategies in practical applications. A failed tableau will generate a counter model which can aid in debugging. We present a case study involving a health services delivery program, and verify properties written in Computation Tree Logic (CTL). A poster presentation of my thesis.
B.Sc. Thesis: A new matchmaking algorithm for resource discovery on grid.
Supervisor: Dr. Rafiqul Islam
Abstract
One of the essential operations in distributed computing is resource discovery. In this research we focused on resource discovery systems. A resource discovery service provides mechanisms to identify the set of resources capable of satisfying the requirements of a job from a large collection of resources. The matchmaking framework provides a reasonable solution to resource management in distributed environment. Our main focus was to reduce the searching complexity of resource discovery. We introduced a new searching mechanism based on dynamically allocated tree. Where the left subtree is a complete binary tree that consists of busy machines. However, the right subtree is not a complete binary tree. Hence, the searching complexity increases slightly but still the mechanism is promising and efficient enough to work with for better performance.
Refereed journal contributions
Md. Zahidul Islam, Ahemd Shah Mashiyat, Kashif Nizam Khan and SM Masud Karim,"A Tableau Based Automated Theorem Prover Using High Performance Computing", in International Journal of Computers, Volume 7, Number 3, March 2012, pp. 597-607, Academy Publisher, Oulu, Finland.
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.
2008
Refereed conference contributions
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.
Md. Zahidul Islam and Wendy MacCaull,"A One-Pass Tableau-Based Workflow Verification Framework", in 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.
Md. Zahidul Islam, Ahemd Shah Mashiyat, Kashif Nizam Khan and SM Masud Karim,"Towards A Tableau Based High Performance Automated Theorem Prover", in proceedings of The 14th International Conference on Computer and Information Technology (ICCIT 2010), Dhaka, Bangladesh.
2010
Md. Rafiqul Islam, Md. Zahidul Islam and Nazia Leyla,"A Matchmaking Algorithm for Resource Discovery on Grid", in proceedings of The International Conference on Information and Communication Technology, 7-9 March, 2007, Dhaka, Bangladesh, pp.193-196.
2007
Kashif Nizam Khan, Md. Zahidul Islam, Jinat Rehana and Md. Saidur Rahman,"Development of a Bangla Speech Driven Application", in proceedings of The International Conference on Computer and Information Technology, 28-30 December, Islamic University of Technology, Gazipur-1704, Bangladesh, pp.1015-1020.
2005
Non refereed contributions
Md. Zahidul Islam and Wendy MacCaull,"A framework for automated verification of workflow using timed temporal logic in a distributed memory environment", APICS Math/CS Conference, Graduate Session, Halifax, Canada.
Md. Zahidul Islam"Parallel tableau thorem prover for propositional logic using MPIJava," Course Paper, St. Francis Xavier University, Antigonish, NS, Canada.
2010
Md. Zahidul Islam "An Efficient Approach to Verify Workflow Management Systems in Health Care with Automated Theorem Proving," Course Paper, St. Francis Xavier University, Antigonish, NS, Canada.
2009
PROJECTS
CONTACT
If you have any query, please drop me a note!
- +8801711574277
- zahid@cseku.ac.bd
- zahidcseku@gmail.com
- CSE Discipline
- Khulna University
- Khulna - 9208
- Bangladesh
Branding & Identity
The Featured Project Title
Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua. Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat. Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur. Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.