Wesleyan portrait of James  Lipton

James Lipton

Professor of Computer Science

Exley Science Center, 635

Professor, Integrative Sciences


Visit Professional Website

BS U Nebraska Lincoln
MSC Cornell University
PHD Cornell University

James Lipton

My main area of research is computational logic and logic programming,

categorical logic and higher-order constraint logic programming.

I also work in applications of the relation calculus to computer science.



Academic Affiliations

Office Hours

Wednesday: 10-11:30 and by appointment




Fall 2020
COMP 360G - 01
Topics in CS: Appl. Logic

Spring 2021
COMP 321 - 01
Design of Programming Language