McGill University
 PHIL 611: Philosophy of Mathematics. Winter 2023
 COMP 230: Logic and Computability. Fall 2022

PHIL 311: Philosophy of Mathematics. Fall 2022
 PHIL 611: Philosophy of Mathematics. Winter 2022
 COMP 230: Logic and Computability [hybrid]. Fall 2021

PHIL 210: Introduction to Deductive Logic [online]. Fall 2021
 PHIL 450: Major Philosophers: Frege [online]. Winter 2021
 COMP 230: Logic and Computability [online]. Fall 2020

PHIL 311: Philosophy of Mathematics [online]. Fall 2020
 PHIL 611: Philosophy of Mathematical Practice. Winter 2020
 COMP 230: Logic and Computability. Fall 2019
 PHIL 607: ProSeminar. Fall 2019
 PHIL 611: Philosophy of Notation. Winter 2019
 COMP 230: Logic and Computability. Fall 2018

PHIL 311: Philosophy of Mathematics. Fall 2018
 COMP 230: Logic and Computability. Fall 2017
 PHIL 311: Philosophy of Mathematics. Fall 2017

PHIL 611: Philosophy of Notation. Fall 2017
 PHIL 611: Philosophy of Notation. Winter 2016
 COMP 230: Logic and Computability. Fall 2015

PHIL 311: Philosophy of Mathematics. Fall 2015
 PHIL 611: Formalism, empiricism, and Frege. Winter 2015
 COMP 230: Logic and Computability. Fall 2014
 PHIL 311: Philosophy of Mathematics. Fall 2014
 PHIL 511: Philosophy of Geometry. Winter 2014
 COMP 230: Logic and Computability. Fall 2013

PHIL 311: Philosophy of Mathematics. Fall 2013
 PHIL 511: Philosophy of Geometry. Winter 2013
 COMP 230: Logic and Computability. Fall 2012

PHIL 341: Philosophy of Science. Fall 2012
 COMP 230: Logic and Computability. Fall 2011
 PHIL 341: Philosophy of Science. Fall 2011
 PHIL 310: Intermediate Logic. Winter 2011
 COMP 230: Logic and Computability. Fall 2010
 PHIL 341: Philosophy of Science. Fall 2010
 COMP 230: Logic and Computability. Fall 2009
 PHIL 481: Language, Symbols, and Thought. Fall 2009
(Cotaught with Brendan Gillon)  COMP 280: History and Philosophy of Computing. Winter 2009
 PHIL 310: Intermediate Logic. Winter 2009
 PHIL 685: Fundamentals of Logic. Winter 2009
 COMP 230: Logic and Computability. Fall 2008
 PHIL 411: Philosophy of Mathematics. Fall 2008
 COMP 280: History and Philosophy of Computing. Winter 2008
 PHIL 310: Intermediate Logic. Winter 2008
 PHIL 685: Fundamentals of Logic. Winter 2008
 COMP 230: Logic and Computability. Fall 2007
 PHIL 411: Philosophy of Mathematics. Fall 2007
 COMP 280: History and Philosophy of Computing. Winter 2007
 PHIL 310: Intermediate Logic. Winter 2007
 PHIL 685: Fundamentals of Logic. Winter 2007
 COMP 230: Logic and Computability. Fall 2006
 PHIL 411: Topics in Philosophy of Logic and Mathematics. Fall 2006
 PHIL 310: Intermediate Logic. Winter 2006
 PHIL 411: Topics in Philosophy of Logic and Mathematics. Fall 2005
 PHIL 310: Intermediate Logic. Winter 2005
Carnegie Mellon University
 80241 Ethical Judgments in Professional Life (selfpaced). Summer 2003
 80211 Arguments and Inquiry. Spring 2003
 80120 Reflections on Science. Summer 2002 (Cancelled due to lack of enrollment)
 80110 Nature of Mathematical Reasoning. Spring 2002
 80150 Nature of Reason. Summer 2001
 80110 Nature of Mathematical Reasoning. Spring 2001
 80110 Nature of Mathematical Reasoning. Summer 2000
 80210 Introduction to Formal Logic (selfpaced). Summer 1999
 80210 Introduction to Formal Logic (selfpaced). Spring 1999
Teaching assistant
Carnegie Mellon University
 80100 What Philosophy Is, Prof. Mark Ravaglia. Fall 2002
 80110 Nature of Mathematical Reasoning, Prof. Richard Scheines. Spring 2000
 80150 Nature of Reason, Prof. Jeremy Avigad. Fall 1999
 80101 Mathematics in Scientific Context, Prof. Wilfried Sieg. Fall 1998
Technical University Darmstadt, Germany
 Introduction to Artificial Intelligence, Prof. Wolfgang Bibel. Summer 1996
 Computer Science IV: Theoretical computer science. Summer 1994
 Computer Science III: Algorithms and data structures. Winter 1993/4
Teachingrelated activities
 Nominated for the McGill Dean of Students Award for Excellence in Undergraduate Academic Advising (April 2016).
 Awarded the McGill Faculty of Arts H. Noel Fieldhouse Award for Distinguished Teaching (6/01/15).
 Attended teaching workshop "Using questions to promote classroom engagement" (with Tom Haffie). Teaching and Learning Services. McGill University (11/24/06). Attended "Safe Space" workshop (3/31/06).
 April 9, 2003: Recipient of the universitywide CMU Graduate Student Teaching Award 200203 (more, grad student times, past winners).
 Summer 2002: Organization of a workshop on Teaching Philosophy at CMU in the Summer.
 Spring 2000January 2002: Successfully completed the Documentation of Teaching Development program at the Eberly Center for Teaching Excellence. As part of this program I have written Portfolio Experiences, a summary and analysis of my experiences with using a portfolio/journal for teaching undergraduates in philosophy.
 From 1998 to 2002: Regularly attended teaching seminars (12) at the Eberly Center for Teaching Excellence: Monitoring your teaching effectiveness, (2/10/98), Planning effective lectures, (2/17/98), Teaching FirstYear Undergraduates, (9/9/98), Preparing to Teach a Summer Class, (4/4/00), Conducting productive discussions, (6/14/00), Writing in the disciplines, (10/3/00), Reflecting on your teaching style, (10/10/00), Communicating across cultures, (10/17/00), Assessing student learning and providing helpful feedback (11/7/00), Overview student motivation (1/31/01), Course and syllabus design (4/4/01), Promoting academic integrity (2/7/02).
Links
 Jim Pryor's excellent guides to writing a good philosophy paper, reading philosophical prose, and understanding philosophical terms and methods.
 Mark Leone's Advice on Research and Writing offers many useful links to online resources.
 Peter Suber has a large collection of links on teaching and writing philosophy.
 Here are some insights on the writing process from a pro, Louise Penny, a celebrated Québec mystery writer.
 Finally, one cannot read this too often: Publish and flourish; Become a Prolific Scholar in 12 easy steps! (#661 of Rick Reis's Tomorrow's Professor mailing list).