Altaf Hussain, Graduate Student
Morteza Yousef Sanati, PhD Candidate in Software Engineering
Md. Rokan Uddin Faruqui, MSc expected December 2012
Heng Liu, Honors Student
Md. Zahidul Islam
Health Informatics Interns:
W. MacCaull, F. Rabbi and R. U. Faruqui , Next Generation Workflow and Data Management Tools with Application to Health Services Delivery National Research Council, Fredericton, 2012.
R. U. Faruqui and W. MacCaull , Scalable Reasoning over OWL 2 RL Ontologies. 4th Atlantic Workshop on Semantics and Services (AWoSS 2012) May 04, 2012, Halifax, NS, Canada.
M. Z. Islam and W. MacCaull, A framework for automated verification of workflow using timed temporal logic in a distributed memory enviornment, APICS Math/CS Conference, Graduate Session, Halifax (2010).
A. S. Mashiyat and W. MacCaull, Verifying Time Constrained Workflow, Poster Presentation, MITACS / CORS 2010 Annual Conference, Shaw Conference Centre, Edmonton, Alberta (2010).
A. Mashiyat and W. MacCaull, An Automated Translator from Petri Nets to Model Checkers, APICS Math/CS Conference, Graduate Session, Halifax (2009). Best Graduate Poster (Second Place)
N. Leyla and W. MacCaull, Pattern Based Workflow Verification in a Distributed Environment, APICS Math/CS Conference, Graduate Session, Halifax (2009).
R. Embree and W. MacCaull, A Primer on the Role of Logic in Enhancing Health Care Processes, APICS Math/CS Conference, Undergraduate Session, Halifax (2009).
H.Wang, Towards Distributed Model Checking of Real-time Systems, Presentation to the Math and Computer Science Seminar StFX (March 2009).
H. Wang, Toward Fairness in Electronic Exchange, A Presentation to the Math and Computer Science Seminar (March 2008).
K. Miller and W. MacCaull, Next Generation Careflow Management Systems, MITACS 2009 Annual Conference (Poster Presentation), New Brunswick, June 2009
K. Miller and W. MacCaull, Toward Careflow Management Systems, Workshop on E-Health: Towards System Interoperability through Process Integration and Performance Management, held in conjunction with 4th International Montreal Conference on e-Technologies (MCeTech 2009), Ottawa, May 2009
K. Miller and W. MacCaull, Verification of Agent-based Systems, APICS Math/CS Conference, Graduate Session, Sydney, NS, 2006.
F. Imam and W. MacCaull, Merging Ontologies using Paraconsistent Logics, APICS Math/CS Graduate Session, Sydney, NS, 2006.
J. Dallien, W. MacCaull and A. Tien: Verification for Dynamic Workflow for Health Care, Poster Presentation -- 14th International Symposium on Formal Methods, McMaster U, Hamilton ON, Aug. 2006
J. Dallien and W. MacCaull: Automated RelDT, 3rd Relation day at Brock, St. Catharines ON, Sept., 2005
H. MacCallum and W. MacCaull, Bilattices and Paraconsistency, APICS Math/CS Conference, Undergraduate Session Acadia Wolfville, NS (2005).
J. Dallien: The Model-checker Spin, APICS Math and Computer Science Conference, UPEI, Charlottetown, NS, 2003
L. MacDonald: CTL Model-checking with SMV, APICS Math and Computer Science Conference, UPEI, Charlottetown, NS, 2003
R. Little, W. MacCaull, and B. Spencer, Automated Reasoning for Algebras of Binary Relations, APICS Math/Comp Sci Conference Proceedings (October 2001) 1-8.
L. Samson: Determining Volumes of Inclusions, APICS Math Days, UCCB, Sydney, NS, 1995.
M. Cleary: Fermat's Little Theorem, First Canadian Undergraduate Math Confrerence, McGill U, Montreal, QU, 1994.
L. Keliher: Finite Algebraic Models for Residuated Logic, APICS Math Days, UPEI, Charlottetown, PE, 1992.
M. LeBlanc: Automated Theorem Proving with Resolution Rule, APICS Math Days, SWGC, Cornerbrook, NF, 1988.
D. Catellier: Approximate Reasoning, APICS Math Days, SWGC, Cornerbrook, NF, 1988.
2008-2009 Kenzie MacNeil (Honours Comp Sci)
2006-2007 Nike Fleugge (Honours Math) Alicia Mills (Honours Math -- Co-Supervised with Tara Taylor) Debbie Fang (Honours Comp Sci - second reader)
2005-2006 Keith Miller (Hons Comp Sci); Holly MacCallum (Honours Math)
2004-2005 Reigo Carter (Honours Comp Sci - second reader)
2003-2004 Jeffrey Dallien (Honours Comp Sci)
1998-1999 Jacqueline Faber (Adv Major – Math)
Alison Boutilier (Adv Major - Math)
Angela Gouthro (Adv Major - Math)
Lise Samson (Honours - Math)
Sean Dwyer (Advanced Major - Math)
1994-1995 Philip Ng (Honours - Computer Science - Co-Supervisor with G. Dueck)
John Hayne (Honours - Math)
Jacquelyn Holden (Honours - Math)
Liam Keliher (Honours - Math)
Terry MacDonald (Advanced Major - Math)
1990-1991 Peter Keizer (Honours - Math - Co-Supervisor with J.Jeffs)
1989-1990 Calvin Grant (Major - Math)
Diane Catellier (Honours - Math)
Tommy Chew (Major - Computer Science)
1987-1988 Elwin LeRoux (Honours - Math)
1986-1987 Sheila Krawchuk (Honours - Math)
Brian Rumboldt (Honours - Math)
Kevin MacNeill (Major - Math)
Tammy Marche (Major - Math)
Caroline Alexander (Major -Math)