Graduate Student Supervision:

Carlin J. Sappenfield, Master of Science, 1988

James T. Snodgrass, Ph.D., 1989
    Ph.D. Thesis: "Completely Normal Lattices"

Scott Burleson, Master of Science, 1990

James B. Hart, Ph.D., 1991
    Ph.D. Thesis: "Decompositions for Relatively Normal Lattices"

Deborah Cotten, Ph.D., 1996
    Ph.D. Thesis: "Stone-type Categorical Equivalences in Semantics of Programming Languages"

Lori Henslee Rafter, Ph.D., 1996
    Ph.D. Thesis: "Order Semantics of Linear Logic"

Hoseung Lee, Ph.D., 1997
    Ph.D. Thesis: "Recognizable Elements of Quantales: A result of Myhill Revisited"

Kevin Blount, Ph.D., 1999
    Ph.D. Thesis: "On the Structure of Residuated Lattices"

Jac Cole, Ph.D., 2002
    Ph.D. Thesis: "Residuated Lattice Orderings on Cancellative Monoids"

Nikolaos Galatos, Ph.D., 2003
    Ph.D. Thesis: "Varieties of Residuated Lattices"

Will Funk, Master of Science, 2004

Ciro Russo (University of Salerno, Italy), Ph.D. 2007 (Jointly with Antonio Di Nola)
     Ph.D. Thesis: “Quantale Modules, with Applications to Logic and Image Processing”                    

Advising/Mentoring:

Director of Graduate studies, 1987-1990

Member of numerous Ph.D. dissertation committees

Graduate Courses Taught at Vanderbilt:

Modern Algebra, Universal Algebra, Lattice Theory, Group Theory, Recursion Theory, Theory of Automata, Theory of Boolean Algebras, Domain Theory and Models of Computation, Category Theory, Theory of Locales, Linear Logic, Petri Nets and Quantales, Domain Theory, Theory of Residuated Lattices.

UNDERGRADUATE EDUCATION:

Advising :

Pre-major advisor (1991-1993)
Major advisor (1985-2000)

Presentations:

Various presentations in the Mathematics Undergraduate Club at Vanderbilt

Presenter, Mathematica Across the Curriculum, Workshops for Collegiate Faculty and High School Teachers, supported by the Pew Charitable Trusts, Vanderbilt University, Summers of 1991 and 1992.

"The role of computers in undergraduate teaching," Colloquium talk, Middle Tennessee State University, November 1992.

"Boolean algebras, propositional logic and electric circuits," Colloquium talk, Western Kentucky University, November 1984.

New Courses:

Developed  course materials, based on Mathematica notebooks, for integrating technology into the undergraduate linear algebra courses, Academic Years 1992 and 1992.  Sophisticated computer systems, such as Mathematica can enhance the teaching of mathematics, but their productive use requires the development of imaginative course materials and a new outlook about teaching.

Introduced a new course titled Exploring Mathematics with Mathematica(r), Summer 1992.  This non-traditional course makes use of Mathematica -- a sophisticated computer system -- to explore interesting mathematical problems in unique ways made possible by the computer.  Instead of having to learn by memorizing often obscure mathematical concepts, participants experience mathematics by making it happen and by using computers to extend their "field of vision."   All tests and quizzes are distributed, collected and graded electronically.

Introduced a new course in applied algebra (1988).

Developed software, jointly with Matthew Gould, for integrating technology into linear algebra. Work supported by the Kenan Venture Fund, 1984.

Undergraduate Courses Taught at Vanderbilt:

Calculus and Analytic Geometry, Exploring Mathematics with Mathematica, Differential Equations, Linear Algebra, Linear Algebra with Mathematica, Advanced Linear Algebra, Discrete Mathematics, Probability and Statistics, Mathematical Logic, Set Theory and Metric Spaces, Abstract Algebra.