James Lipton
Professor of Computer Science
Exley Science Center, 635860-685-2188
Professor, Integrative Sciences
BS U Nebraska LincolnMSC 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
Spring 2024
COMP 321 - 01
Design of Programming Language
COMP 321 - 02
Design of Programming Language
Fall 2024
COMP 301 - 01
Automata Theory & Formal Lang.
COMP 301 - 02
Automata Theory & Formal Lang.