Stephen M. Watt, PhD, DSc h.c., ICD.D Professor, David R. Cheriton School of Computer Science DC 3621, 200 University Ave W University of Waterloo Waterloo Ontario, Canada N2L 3G1 



What's on my mind. New results in biocomputing! Instructions to get a small carbon footprint. Where I've been. Math genealogy. Erdős number. 
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  
The Limits of Computation  
Tools for Online Technical Collaboration.  
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  PenBased Interfaces for Mathematics  
Aldor  A categorical programming language. 
Maple  The system for symbolic mathematical computation. 
 The W3C standard for math on the internet. 
 The W3C standard for digital ink. 