Home
|
Short biography
|
Research interests
|
Publications
|
Teaching
Teaching
Last Revised: June 2001
Courses in recent years:
Computability theory
Logic and algebraic foundations of programming
Introduction to mathematical logic
Introduction to programming (using the
Mathematica
programming language)