September 2013 - Present
I investigate the use of models and formal analysis to improve the quality and safety of software-intensive systems. I work mainly at the requirements level on models of system behaviour. I am particularly interested in providing configurable, optimized tools and methodologies to support the use of custom, formal models in specific domains.
Canada ... - Ottawa
EducationPhD Candidate, University of Waterloo MSc, African University of Sci and Tech. BSc, Computer Engineering, Kwame Nkrumah University of Sci. and Tech.
Teaching AssistantshipSoftware Architecture and Design (CS 646) Software Requirements and Specification (CS 445) Software Abstraction and Specification (CS 246) Introduction to Computer Science 2 (CS 116) Introduction to Computer Science 1 (CS 115)
B.Sc., Software Engineering
Islamic Azad University, Iran
M.Sc., Computer Science
Concordia Univeristy, Canada
Electrical and Computer Engineering
Univerisity of Waterloo
I am interested in all aspects of software modelling, documentation, and analysis. I am particularly interested in what I call practical formalisms -- specification and design notations that are practitioner-friendly and yet have a precise semantics that is suitable for automated analysis.