I am currently PhD Candidate in ECE department at Concordia University, started my program in January 2003 supervised by by Prof. Sofične Tahar. I am A Member of Hardware Verification Group (HVG). I received my Masters degree in Electrical and Computer Engineering from Concordia University in December 2002.  

My PHD  Project is  Formal Verification of Group Key Management and Distribution Protocols.

Thesis title: Interfacing Abstract State Machines (ASM) with Multiway Decision Graphs (MDGs). Download: PDF Postscript  or Thesis defense presentation

Hardware Verification Group at Concordia

Abstract State Machines home page.

Multiway Decision Graphs home page.

Publications:

[1]	A. Gawanmeh, S. Tahar, H. Moinudeen, and A. Habibi: A Design for Verification Approach using an Embedding of PSL in AsmL; Journal of Circuits, Systems, and Computers, World Scientific Publishing. In-Print.
[2]	A. Gawanmeh, S. Tahar, and K. Winter: Formal Verification of ASMs using MDGs. Journal of Systems Architecture. In print.
[2]	A. Gawanmeh, A. Bouhoula and Sofiene Tahar: Rank Functions based Inference System for Group Key Management Protocols Verification. Submitted to the International Journal of Network Security, November 2007.
[3]	A. Gawanmeh and S. Tahar: Rank Theorems for Forward Secrecy in Group Key Management Protocols. Invited paper at the IEEE Symposium on Frontiers in Networking with Applications.
[4]	A. Gawanmeh, A. Habibi, and S. Tahar: Embedding and Verification of PSL using ASM; Proc. IEEE International Workshop on System on Chip. (IWSOC'06), IEEE Computer Society Press, December 2006.
[5]	A. Gawanmeh, A. Habibi, and S. Tahar: Embedding and Verification of PSL using ASM; Proc. International Conference on Abstract State Machines (ASM'05), Paris, France, March 2005, pp. 201-215.
[6]	A. Gawanmeh, A. Habibi and S. Tahar: Enabling SystemC Verification using Abstract State Machines; Proc. Languages for Formal Specification and Verification, Forum on Specification & Design Languages (FDL'04), Lille, France, September 2004.
[7]	A. Habibi, A. Gawanmeh and S. Tahar: Assertion Based Verification of PSL for SystemC Designs; Proc. IEEE International Symposium on System-on-Chip (SOC'04), Tampere, Finland, November 2004.
[8]	A. Gawanmeh, S. Tahar, and K. Winter: Formal Verification of ASM Designs using the MDG Tool; Proc. IEEE International Conference on Software Engineering and Formal Methods (SEFM'03), Brisbane, Australia, September 2003, pp. 210-219, IEEE Computer Society Press.
[9]	A. Gawanmeh, S. Tahar and K. Winter: Interfacing ASMs with the MDG Tool; In: E. Boerger, A. Gargantini, E. Riccobene (Eds.) Abstract State Machines - Advances in Theory and Applications, Lecture Notes in Computer Science 2589, Springer Verlag, 2003, pp. 278-292. Proc. International Conference on Abstract State Machines (ASM'03), Taormina, Italy, March 2003.
[10]	Amjad Gawanmeh: Interfacing Abstract State Machines with Multiway Decision Graphs, Concordia University, MASc thesis, Department of Electrical and Computer Engineering, April 2003.
[11]	A. Gawanmeh, S. Tahar, and JK. Winter; A Tool for Verifying ASM Models Using Multiway Decision Graphs; Proc. 2003 Micronet Annual Workshop, Toronto, Canada, May 2003, pp.
[12]	A. Gawanmeh, A. Habibi, and S. Tahar: Enabling SystemC Verification using Abstract State Machines; Technical Report, Concordia University, Department of Electrical and Computer Engineering, May 2004. [15 pages]
[13]	A. Gawanmeh, A. Habibi, and S. Tahar: An Executable Operational Semantics for SystemC using Abstract State Machines; Technical Report, Concordia University, Department of Electrical and Computer Engineering, March 2004. [24 pages]
[14]	A. Gawanmeh, S. Tahar and Kirsten Winter: Formal Verification of ASM Designs using the MDG Tool; Technical Report, Concordia University, Department of Electrical and Computer