Students:

Current

• Altaf Hussain, Graduate Student

• Morteza Yousef Sanati, PhD Candidate in Software Engineering

• Md. Rokan Uddin Faruqui, MSc expected December 2012

• Heng Liu, Honors Student

Previous Ms Students

• Ahmed Mashiyat

• Leyla Nazia

• Conan Li

• Md. Zahidul Islam

• Fazle Rabbi

• Keith Miller

• Fahim Imam

• Jeffrey Dallien

Summer Undergraduate Research Supervision:

• Summer 2012

  • Heng Liu

  • Declan Murphy

• Summer 2011

  • Rachel Embree

  • Heng Liu

• Summer 2010

  • Rachel Embree

  • Max Graham

  • Adam MacDonald

  • Jay Crawford

• Summer 2009

  • Rachel Embree

  • Jay Crawford

  • Conan Li

• Summer 2008

  • Robert Garbary

  • Kenzie MacNeil

  Health Informatics Interns:

  • Ann Euloth

  • Tannay Sharma

  • Badal Dar

• Summer 2007

  • Robert Garbary

  • Beth MacPherson

• Summer 2006

  • Keith Miller

  • Nike Fluegge

  • Alicia Mills

  • Debbie Fang

• Summer 2005

  • Keith Miller

  • Holly MacCallum

  • Nike Fluegge

• Summer 2004

  • Jeffrey Dallien

  • Keith Miller

• Summer 2003

  • Jeffrey Dallien

  • Leo MacDonald

• Summer 2001

  • Rich Little

• Summer 2000

  • Greg Lee

  • Mark MacIsaac

• Summer 1999

  • Sean Canuel

• Summer 1997

  • Don Kelly

• Summer 1994

  • Marcus Cleary

  • Philip Ng

• Summer 1993

  • Liam Keliher

  • Theresa MacDonald

• Summer 1992

  • Marcus Cleary

  • Liam Keliher

• Summer 1990

  • Peter Keizer

• Summer 1989

  • Peter Keizer

• Summer 1988

  • Diane Catellier

  • Monique LeBlanc

• Summer 1986

  • Sheila Krawchuk

Regional or National Presentations by Students Working Under My Supervision:

• 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.

Honours/Advanced Major Students Supervised:

• 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)

• 1996-1997

  • Alison Boutilier (Adv Major - Math)

  • Angela Gouthro (Adv Major - Math)

• 1995-1996

  • Lise Samson (Honours - Math)

  • Sean Dwyer (Advanced Major - Math)

• 1994-1995 Philip Ng (Honours - Computer Science - Co-Supervisor with G. Dueck)

• 1992-1993

  • 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)

• 1988-1989

  • Diane Catellier (Honours - Math)

  • Tommy Chew (Major - Computer Science)

• 1987-1988 Elwin LeRoux (Honours - Math)

• 1986-1987 Sheila Krawchuk (Honours - Math)

• 1985-1986

  • Brian Rumboldt (Honours - Math)

  • Kevin MacNeill (Major - Math)

• 1984-1985

  • Tammy Marche (Major - Math)

  • Caroline Alexander (Major -Math)