Stephen M. Watt:
Current and Completed Students

Current students

Ph.D.

• Pavel Bourdykine (part-time),
  Topic: Compilers

Masters

Completed students

Ph.D.

• Jameel Ahmed, Ph.D. Computer Science, 2014
  Thesis State Controlled Object Oriented Programming
• Rui Hu, Ph.D. Computer Science, 2013,
  Thesis: Representation, Recognition and Collaboration with Digital Ink
• Vadim Mazalov, Ph.D. Computer Science, 2013,
  Thesis: Advances in Manipulation and Recognition of Digital Ink
• Xin Li (with Marc Moreno Maza), Ph.D. Computer Science 2009,
  Thesis: Toward High-performance Polynomial System Solvers Based on Triangular Decompositions
• Geoff Wozniak (with Mark Daley), Ph.D. Computer Science 2008,
  Thesis: Structuring Data via Behavioural Synthesis
• Xiaofang Xie, Ph.D. Computer Science 2007,
  Thesis: On the Recognition of Handwritten Mathematical Symbols
• Yuzhen Xie (with Marc Moreno Maza), Ph.D. Computer Science 2007,
  Thesis: Fast Algorithms, Modular Methods, Parallel Approaches and Software Engineering for Solving Polynomial Systems Symbolically.
• Laurentiu Dragan, Ph.D. Computer Science 2007,
  Thesis: On Measuring and Optimizing the Performance of Parametric Polymorphism.
• Cosmin Oancea, Ph.D. Computer Science 2005,
  Thesis: Parametric Polymoprhism for Software Component Architectures and Related Optimizations.
• Yannis Chicha, Ph.D. Computer Science 2002,
  Thesis: Practical Aspects of Interacting Garbage Collectors.

Masters

• Mike Gheshquiere, M.Sc. Computer Science 2015
  Thesis: Generalized Inclusion-Exclusion
• Aoesha Alsobhe, M.Sc. Computer Science 2015
  Thesis: Determining Critical Points of Handwritten Mathematical Symbols Represented as Parametric Curves
• Mona Alsheri, M.Sc. Computer Science 2014
  Project: Issues of Rendering Arabic Mathematical Notation in Computer Software
• Andrew Chan, M.Sc. Computer Science 2011
  Thesis: On the Compression of Digital Holograms
• Vadim Mazalov, M.Sc. Computer Science 2010
  Thesis: Geometric Techniques for Digital Ink.
• Rachita Mohan, M.Sc. Computer Science 2010
  Thesis: Uniform Treatment of Code and Data in the Web Setting.
• Maria Teresa Infante Velazquez, M.Sc. Computer Science 2010
  Thesis: Metrics and Neatening of Handwritten Characters.
• Nivedita Patel, M.Sc. Computer Science 2010
  Thesis: Interactive Computer Manipulation of Formal Sums.
• Rui Hu, M.Sc. Computer Science 2009,
  Thesis: Portable Implementation of Digital Ink: Collaboration and Calligraphy
• Pavel Bourdykine, M.Sc. Computer Science 2009,
  Thesis: Type Safety without Objects in Java
• Amit Regmi, M.Sc. Computer Science 2009,
  Thesis: Supporting Multimodal Collaboration with Digital Ink and Audio
• Birendra Keshari, M.Sc. Computer Science 2008,
  Thesis: Techniques for Transformation and Exchange of Standardized Digital Ink.
• Matthew Malenfant, M.Sc. Computer Science 2007,
  Thesis: A Comparison of Two Families of Algorithms for Symbolic Polynomials.
• Michael Lloyd, M.Sc. Computer Science 2007,
  Thesis: Aldor Generics in Software Component Architectures
• Songxin Derek Liang (with David Jeffrey), M.Sc. Applied Mathematics 2006,
  Thesis: A Rule-Based Component-Free Vector Algebra Package
• Clare So, M.Sc. Computer Science 2005,
  Thesis: An Analysis of Mathematical Expressions Used in Practice.
• Kevin Durdle, M.Sc. Computer Science 2004
  Thesis: Supporting Mathematical Handwriting Recognition through an Extended Digital Ink Framework.
• Xiaojie Wu, M.Sc. Computer Science 2004
  Thesis: Achieving Interoperability of Pen Computing among Heterogeneous Devices and Digital Ink Formats.
• Huanling Lu, M.Sc. Computer Science 2002,
  Thesis: Parametric Polymorphism in Java: A NextGen compiler based on GJ
• Yuzhen Xie, M.Sc. Computer Science 2002,
  Thesis: A Family of Modular XML Schema for MathML
• Bo Wan, M.Sc. Computer Science 2002,
  Thesis: Interactive Mathematical Handwriting Analysis on Pocket PC
• Nabil Obeid, M.Sc. Computer Science 2001,
  Thesis: On the Simplification of Tensor Expressions
• Igor Rodionov, M.Sc. Computer Science 2001,
  Thesis: Tools for MathML
• Xiaofang Xie (with R. Corless), M.Sc. Applied Mathematics 2001,
  Thesis: Symbolic Circuit Analysis in Maple
• Dicheng Liu (with R. Corless), M.Sc. Computer Science 2001,
  Project: A notation selection tool for MathML stylesheets
• Marc Tessier, M.Sc. Computer Science 2000,
  (switched to course work).
• Xuehong Li, M.Sc. Computer Science 1999,
  Thesis: XML and the Communication of Mathematical Objects
• Yannis Chicha, DEA Informatique 1996,
  Ecole Supérieure en Sciences Informatiques, U. de Nice-Sophia Antipolis,
  Thesis: Animation of Functional Programs
• Noel Arnous, DEA Informatique 1996,
  Ecole Supérieure en Sciences Informatiques, U. de Nice-Sophia Antipolis,
  Thesis: Progressive Scientific Visualization

Bachelors

• Mike Gesquiere, B.Sc. (Honours) 2013 Computer Science,
  Thesis: Using Font Metrics to Improve Mathematical Handwriting Recognition and Neatening.
• Michael Friesen, B.Sc. (Honours) 2012 Computer Science,
  Thesis: Digital Whiteboard using InkML and HTML5 Technologies.
• Lisa Theng, B.Sc. (Honours) 2009 Computer Science,
  Thesis: Representation of Calligraphy.
• Susan Howey, B.Sc. 2003 Computer Science,
  Thesis: Fine Grained Parallel XML Markup for Music.
• Michael Lloyd, B.Sc. (Honours) 2003 Computer Science,
  Thesis: Server Support for Aldor Generics in GIDL.
• Clare So, B.Sc. (Honours) 2003 Computer Science,
  Thesis: Organizing the Structure of Mathematical Expressions.
• Greg Collins, B.Sc. (Honours) 2001 Computer Science,
  Thesis: Efficient runtime systems for languages with type categories
• Andrew Dennison, B.Sc. (Honours) 2001 Computer Science,
  Thesis: XML representations of programming language source code
• Arthur Louie, B.Sc. (Honours) 2000 Applied Mathematics,
  Thesis: Handwriting Analysis for MathML Generation
• Peter Huerter, B.Sc. (Honors) 1999 Computer Science,
  Thesis: A Floating Point Interval Arithmetic Optimization for the Aldor Compiler
• Mark Phipps, B.Sc. 1999 Computer Science, (jointly supervised with R. Corless)
  Project: Activity Monitor for Prevention of Repetitive Stress Injury
• Marc Incitti, B.Sc. (Honors) 1998 Computer Science,
  Thesis: Translation of TeX Math to MathML
• Eric Wright, B.Sc. (Honors) 1998 Computer Science,
  Thesis: Adaptive Graphing of Bivariate Real Functions