**CURRICULUM VITAE**

March, 2001

James Lipton Telephone: (860) 685-2188

Dept. of Mathematics Home: (860) 344-8246

Wesleyan University Math. Dept. fax: (860) 685-2571

Middletown CT 06459-0128 e-mail: jlipton@wesleyan.edu

**Education**

University of Nebraska-Lincoln, 1977. B.Sc. in Mathematics. Minors: Physics, English.

Cornell University, 1979. M.Sc. in Mathematics.

Cornell University, 1990. M.Sc. in Computer Sciences. Ph.D. in Mathematics.

Dissertation:
*Relating Kripke Models and Realizability. *Advisor: Anil
Nerode.

**Teaching and
Research Appointments**

Assoc. Professor of Computer Science, Dept. of Mathematics, Wesleyan University, 1997.

Asst. Professor of Computer Science, Dept. of Mathematics, Wesleyan University, 1993-1996.

Instructor, Dept. of Mathematics, University of Pennsylvania, 1990-1993

Visiting Scientist, Mathematical Sciences Institute (MSI), Cornell, summer 1991.

Postdoctoral Research Associate, Dept. of Computer Sciences and MSI, Cornell, Jan-Sept. 1990.

**Administrative
Appointments**

Resident Director, Vassar-Wesleyan-Colgate Program in Spain, Aug 1999-July 2000.

**Visiting
Appointments**

Visiting Researcher, Technical University of Madrid, Oct.-Dec.2000

Visiting Researcher, University of Pisa, Sept. 2000.

Visiting Researcher, Technical University of Madrid, Oct.-Dec.1997

Visiting Researcher, University of Pisa, Jun.-Oct. 1997.

Visiting Researcher, Isaac Newton Institute, Cambridge University, Aug-Sept. 1995.

Visiting Professor of Computer Science, University of Nancy, France, May-June 1994 &1995.

**Fellowships**

Sloane Dissertation Fellow, July 1900 - August 1989.

MSI Graduate Research Fellow, 1987-1988, summer 1987, summer 1988.

Hutchinson Fellow , spring 1987.

**Work Experience**

Consultant, Logic Programming and Expert Systems, Mathematical Science Institute,

Cornell, 1987-1990.

**Languages**

Fluent in written and spoken Spanish, comfortable with spoken French.

**Research
Interests**

Relational andLogic Programming, Intuitionistic Semantics, Constructive Set Theory, Categorical Logic

**Selected**
**Publications**

"A New Framework for Declarative Programming" *Theoretical
Computer Science,*

* (*with Peter Freyd and Stacy Finkelstein), to appear, 2001.

"Encapsulating data in logic programming via categorical constraints" (with R. McGrail),

in C. Palamidessi, H.Glaser, and K.Meinke, editors, *Principles of
Declarative Programming*,

volume 1490 of LNCS, Springer Verlag, 1998.

"Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and

Läuchli Countermodels" *Annals of Pure and Applied Logic*,
pp. 187-239, vol 81,

Elsevier North-Holland, (with Michael O´Donnell), 1996.

"Type, Theory and Inhabitation: A Constructive Completeness
Theorem for Martin-Löf Type Theory" to appear in the *Annals
of Pure and Applied Logic.*

"Combinatory Logic Programming: Computing In Relation Calculi"
in *Proceedings of the 1994 International Symposium on Logic
Programming,* M. Bruynooghe, ed. M.I.T. Press, pp. 269-285, (with
Paul Broome), 1994.

"Logic Programming in Tau-Categories", in *Computer
Science Logic '94*, LNCS 933,Springer, pp. 249-263, (with Peter
Freyd and Stacy Finkelstein), 1995.

"Provability in TBLL (the Tensor Bang Fragment of Linear
Logic)", in *Computer Science Logic *(proceedings of CSL
'91, Bern), LNCS 613, Springer-Verlag, pp. 53-67, (with J. Chirimar),
1992. Expanded version appeared as Univ. of Pennsylvania Technical
eport, 1993.

"Constructive Kripke Semantics and Realizability" in *Logic
for Computer Science*, Y.N. Moschovakis, ed. MSRI Publications,
vol. 21, Springer, pp. 319-358, 1991.

"Kripke Semantics for Dependent Type Theory and Realizability Interpretations", in

*Constructivity in Computer Science,* LNCS 613, Springer-Verlag,
pp. 22-31, 1991.

**Invited Publications**

*"Realizability, Set Theory and Term Extraction", in The
Curry-Howard Isomorphism*, 8ème

volume des cahiers du centre de logique de L'Université Catholique de Louvain, pp. 257-364, 1994.

"Intuitive
Counterexamples for Constructive Fallacies", in Mathematical*
Foundations of Computer *

*Science 1994 -
MFCS ´94, Kosice, Slovakia, August 1994 - *LNCS
841*, 87-111, (*with
Michael O'Donnell), 1994.

* *

**Short Courses
Taught**

Lambda calculus, type theory and linear logic given at the Latin American Symposium on Mathematical Logic, ASL meeting, Bahía Blanca, Argentina. August 1992.

Intuitionistic and Categorical Logic, University of Nancy, France, May-June 1994.

Linear Logic, Uniform Proof Systems, Categories and Logic Programming, Bahía Blanca,

Argentina. August 1996.

Categorical Methods in Logic Programming, University of Pisa, June 1997.

Lambda-prolog and related logic programming extensions, Technical University of Madrid, 1997, 2000.

**Workshops Organized:** "Categories and Logic Programming",
Isaac Newton Institute, Cambridge University, 1995.

**Grants:**

1991-1993: Adjunct researcher, NSF grant on

*Higher order Proof Systems*, Andrei Scedrov and Dale Miller PI's, Univ. of Pennsylvania.1992-1995:

*Programming with Relations,*ONR, Co-PI with Peter Freyd, Penn.1995-1997:

*Categorical and Relational Logic Programming*, ONR, co.PI´s Peter Freyd , Penn. ,Daniel Dougherty, Wesleyan, Stacy Finkelstein, McGill.1995-1996: Travel grant to participate in the

*Semantics of Computation*program, Newton Institute, Cambridge Institute, Fall '95, ONR , co-PI: Peter Freyd, Penn.1997, 2000: CNR Research Grant,

*Categorical Logic Programming,*University of Pisa.

**PH.D. Students:**

Robert McGrail, Wesleyan University:

*Monads, Control and Side Effects in Logic Programming*.Mary de Marco, Wesleyan University:

*Semantics of Higher Order Hereditarily Harrop Logic Programming.*Claudio Gutierrez, Wesleyan University:

*The Arithmetic and Geometry of Allegories: Normal Forms and Complexity in a Fragment of the Theory of Relations.*

**M.A. Students:**

Matt Ruhlen, Wesleyan University:

*Relational Compilation of Declarative Programs*1998.**,**