Teaching Experience
Courses
1Lecture course in Summer 2008 at Saarland University: Introduction to Computational Logic.
Colectured with Prof. Gert Smolka
2Lecture course in Winter 2007 at Saarland University: Semantics of Classical Higher-Order Logic (SEMHOL)
3Lecture course in Summer 2006 at ESSLLI 2006 in Malaga: Semantics of Higher-Order Logic (SEMHOL).
Colectured with Dr. Christoph E. Benzmüller
4Lecture course in Winter 2006 at Saarland University: Semantics and Mechanization of Classical Higher-Order Logic (SEMHOL)
Colectured with Dr. Christoph E. Benzmüller
5Lecture course in Summer 2005 at Saarland University: Introduction to Artificial Intelligence (AI)
Colectured with Dr. Christoph E. Benzmüller, Prof. J. Siekmann, Dr. Serge Autexier
6Lecture course in Winter 2004 at Saarland University: Mathematical Assistance Systems (MAS)
Colectured with Dr. Christoph E. Benzmüller, Prof. J. Siekmann, Dr. Serge Autexier, Dr. C.-P. Wirth
7Summer Course Instructor in Summer 1998 at Carnegie Mellon University for Integration, Differential Equations and Approximation (Student Evaluations Available)
8Course in Spring 1994 at Mississippi State University: LISP Programming Lab
9Course in Fall 1993 at Mississippi State University: LISP Programming Lab
Recitations and Tutorials
10Peter B. Andrews, Chad E. Brown. Tutorial: Using TPS for Higher-Order Theorem Proving and ETPS for Teaching Logic. CADE 511-512, 2000.
Colectured with Prof. Peter B. Andrews
11Instructor for Two Recitations in Spring 1999 at Carnegie Mellon University for Calculus in Three Dimensions (Student Evaluations Available)
12Instructor for Two Recitations in Spring 1998 at Carnegie Mellon University for Integration, Differential Equations and Approximation (Student Evaluations Available)
13Instructor for Two Recitations in Fall 1998 at Carnegie Mellon University for Multivariate Analysis and Approximations (Student Evaluations Available)
14Instructor for Two Recitations in Fall 1997 at Carnegie Mellon University for Integration and Differential Equations (Student Evaluations Available)
15Instructor for Several Recitations at Purdue University from Fall 1995 to Spring 1997 for Calculus and Algebra Courses
16Tutorial in Spring 1994 at Mississippi State University for a prealgebra course
17Tutorial in Fall 1993 at Mississippi State University for a prealgebra course
Seminars
18Summer 2005: Mathematical Assistant System Shootout