About me

From September 2005 to September 2007, I was a Master's student in Computer Science, here in the department of Computing and Software. My advisor was Jacques Carette.

Academic

• Property inference for Maple: An application of abstract interpretation, Master's thesis, September 24, 2007

• Mining Maple Code for Contracts, J. Carette & S. Forrest, Calculemus 2006
• Property inference for Maple (work in progress presentation), J. Carette & S. Forrest, Calculemus 2007

• The Knaster-Tarski Fixed Point Theorem for Complete Partial Orders, presentation for CAS 701, Fall 2005
• Type Reconstruction, presentation for CAS 706, Winter 2006
• Arbitrary-rank polymorphism in (GHC) Haskell, presentation for CAS 743, Winter 2006
• The ACL Theorem Prover: [talk #1] and [talk #2], joint presentation with Gabe Shelley for CAS 734, Fall 2006
• Maple as a Theorem Prover, talk given for CAS 734, Fall 2006

Teaching Assistant duties

In the Fall 2006 term, I was the T.A. for CS 3EA3 (read the calendar description.)

Personal