Stephen M. Watt

Professor Watt
Stephen M. Watt, PhD, DSc h.c., ICD.D
Distinguished University Professor
Computer Science Department , MC 375
The University of Western Ontario
London, Ontario CANADA N6A 5B7

Phone:   +1 519 661-4244
Fax:   +1 519 661-3515
E-mail:   Stephen dot Watt at uwo.ca

What's on my mind.
New results in bio-computing!
Instructions to get a small carbon footprint.
Where I've been.


Activities     Research     Publications     Students     Courses     Awards

Introduction: Introduction for new grad students.
General talks:   Computer Algebra's Dirty Little Secret.
  The Mathematics of Mathematical Handwriting Recognition.
Dependent Types and Categorical Programming
Computing, Symbols and Math [Video]
Leading Flying Objects

ORCCA: The Ontario Research Center for Computer Algebra
MathML @ ORCCA -- Tools for MathML and conversions to/from TeX and OpenMath
MONET @ ORCCA -- Mathematical Web Services
PenMath @ ORCCA -- Pen-Based Interfaces for Mathematics

TRICS:   Topical Research in Computer Science Seminars
ACM ICPC:   ACM Intercollegiate Programming Contest

Aldor: A categorical programming language.
Maple: The system for symbolic mathematical computation.
MathML: The W3C standard for math on the internet.
InkML: The W3C standard for digital ink.