Russell O’Connor

I am a postdoctoral researcher in the Department of Computing and Software at McMaster University. I have my Ph.D. in Science from Radboud University Nijmegen. I have my bachelor’s of mathematics in Pure Mathematics and Computer Science from the University of Waterloo.

Past Projects

Here you will find a collections of projects I have done, some for course work, and others in my spare time.

• My Haskell exact real arithmetic library: Few Digits.
  • Slides from the small TYPES workshop.
• A proof of Gödel’s first incompleteness theorem using the Coq proof assistant (TPHOLS2005 slides).
• A short essay on why formals proofs are acceptable for assignments.
  • For a detailed presentation related to this topic, try Proof Assistants using Dependent Type Systems by Herman Geuvers and H. Barendregt.
• MMAudio Pak for OS/2.
• A port of GnuPG to OS/2.
• My Rexx EGD for OS/2.
• A document describing SGML features I use when writing HTML.
• My port of Togl to OS/2.
• A draft for a CSS property set.
• My ps2java DSSSL style sheet package.
• My position paper about creating an HTML Architecture.
• My CheckHtmlEsis Java program.

Undergraduate course work

• CS 486 - Introduction to Artificial Intelligence
• CS 488 - Introduction to Computer Graphics

Graduate course work

• CS 263 - Semantics of Programming Languages
• Phil - Quantum Logic

Courses

Previous

In Spring 2003, I lead discussion sections for CS 184.

In Fall 2001, I lead discussion sections for Phil 5.

In Spring 2001, I lead discussion sections for Math 53.

In Fall 2000, I lead discussion sections for Math 1A.

Misc

My Public keys.