Current Students
- Vladimir Avram, M.Sc. candidate
- Anomaly detection for marine safety and security
- Piper Jackson, Ph.D. candidate
- Modelling of complex systems
- Dynamic automated planning with uncertainty
- Formal methods
- Visualization
- Interdisciplinary research software development
- Narek Nalbandyan, Ph.D. candidate
- Situation analysis models
- Sara Namazi, Ph.D. candidate
- Conceptual modeling of services
- Ambient assistive living
- Hamed Yaghoubi Shahir, Ph.D. candidate
- Distributed information fusion software requirements
- Mohammad Ali Tayebi, Ph.D. candidate
- Co-offending network analysis
Former Students
- Ali Khalili Araghi, M.Sc. (Summer 2011)
- Intelligent Decision Support for Marine Safety and Security Operation Centres
- Peter Borwein Award, Spring 2011
- Dr. Roozbeh Farahbod, (Ph.D., Summer 2009)
- CoreASM:
An Extensible Modeling Framework & Tool Environment for High-Level Design and Analysis of Distributed Systems
- Dean of Graduate Studies Convocation Medal for best Ph.D. thesis, 2010
- NSERC Visiting Fellowship with Defence R&D Canada - Valcartier, 2009-2011
- NSERC Postgraduate Scholarship (Ph.D.), 2006-2008
- Top Graduate Student award in Computing Science, SFU, 2006
- Dr. Mona Vajihollahi, (Ph.D., Summer 2009)
- Computational Modeling and Formal Analysis
Techniques in Interdisciplinary Studies of Complex Systems
- NSERC Postgraduate Scholarship (Ph.D.), 2005-2007
- Sarah Rastkar, Ph.D. candidate
- Verification and validation of process models
- Ali Lotfi, M.Sc. (Spring 2009)
- Open Source Software as a Scholarly Contribution
- George Ma, M.Sc. (Summer 2007)
- Model Checking Support for CoreASM: Model Checking Distributed Abstract State Machines Using SPIN
- Chiyoko Kawano, M.Sc. (Fall 2006)
- Extension of an Executable Formal Model of BPEL to Permit Comprehensive Validation
- Mashaal Anwaar Memon, M.Sc. (Spring 2006)
- Specification Language Design Concepts: Aggregation and Extensibility in CoreASM
- Ming (Mike) Su, M.Sc. (Spring 2006)
- Using Abstract State Machines to Model a Graphical User Interface System
- Calvin Tang, M.Sc. (Spring 2006)
- Model Checking Abstract State Machines with Answer Set Programming
- Komal Singh, M.Sc. (Fall 2005)
- An Abstract Mathematical Framework for Semantic Modeling and Simulation of Urban Crime Patterns
- Charu Jain, M.Sc. (Spring 2005)
- A Probabilistic Approach to Abstract Communication Models
- Xianghua Jiang, M.Sc. (Fall 2004)
- High Level Specification of a Geographic Routing Protocol for Ad Hoc Mobile Networks
- Roozbeh Farahbod, M.Sc. (Summer 2004)
- Extending and Refining an Abstract Operational Semantics of the Web Services Architecture for the Business Process Execution Language
- Mona Vajihollahi, M.Sc. (Spring 2004)
- High Level Specification and Validation of the Business Process Execution Language for Web Services
- NSERC Postgraduate Scholarship (M.Sc.), 2003-2005
|