Current and Completed Students

- Pavel Bourdykine (part-time),

Topic: Compilers

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

- 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*

- 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*