James Lipton
Professor of Computer Science
Exley Science Center - Complex Room 635, 265 Church Street860-685-2188
Professor, Integrative Sciences
Exley Science Center - Complex Room 635, 265 Church Street860-685-2188
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
Courses
Fall 2024
COMP 301 - 01
Automata Theory & Formal Lang.
COMP 301 - 02
Automata Theory & Formal Lang.
Spring 2025
COMP 325 - 01
Log Prog and Funct Prog