This is the old homepage of Md Tawhid Bin Waez. You can reach him at waez AT cs DOT queensu DOT ca Position: Research Associate. Organization: Bishop's University, Canada. Research Areas: Formal method, formal languages and automata theory. Supervisor: Stefan D Bruda. Research Group: Parallel And Real-Time group (PART) @ Bishop's University.

Current Research:
Unrestricted and disjoint operations over multi-stack visibly pushdown languages (MVPL).
Formal verification of concurrent, recursive systems using MVPL.

Education:
Master of Science in Computer Science (September, 2006~December, 2008), Department of Computer Science, Bishop's University, Quebec, Canada.
Bachelor of Science in Computer Science (September, 2000~April, 2005), Department of Computer Science And Engineering, North South University , Dhaka, Bangladesh.

Dissertation:
M. T. BIN WAEZ, Communicating visibly pushdown processes, Department of Computer Science, Bishop's University, Quebec, Canada.
M. T. BIN WAEZ, Performance analysis of parallel downloading from mirrored internet sites, Department of Computer Science, North South University, Dhaka, Bangladesh.

Technical Report:
S. D. BRUDA AND M. T. BIN WAEZ, Unrestricted and Disjoint Operations over Multi-Stack Visibly Pushdown Languages, 18th May 2009. pdf

Conference Papers:
S. D. BRUDA AND M. T. BIN WAEZ, Communicating visibly pushdown processes, Accepted in the The 17th International Conference on Control Systems and Computer Science, Bucharest, Romania, May 26-29, 2009. pdf
S. D. BRUDA AND M. T. BIN WAEZ, Visibly pushdown languages are closed under prefix, shuffle, and hiding, in Computational Engineering in Systems Applications: Selected Papers from the WSEAS Conferences in Heraklion, Greece, July 22-25, 2008, Page: 204-209. pdf (There are some flaws in this paper, which have been mentioned in our next paper.)
M. T. BIN WAEZ, S. H. CHOWDHURY, E. AHMED AND M. RAHMAN, Performance analysis of parallel downloading from mirrored internet sites, in Proceeding of the Eighth International Conference on Computer and Information Technology (ICCIT), Bangladesh, 2005, Page: 222-227. pdf

Poster:
M. T. BIN WAEZ, CTL Model Checking, Research week, Bishop's University, Quebec, Canada 2007.