Skip to content. Skip to navigation

Computer Science Department University of Cincinnati College of Engineering University of Cincinnati
Personal tools
Sections
Home / People / Faculty / Dr. John Schlipf
Navigation
 
Document Actions

Dr. John Schlipf

Dr. John Schlipf
Current image JPEG image — 30 KB
John Schlipf, Professor
Office: 892 Rhodes
Phone: 556-1812
Email: john.schlipf@uc.edu
Website: http://www.cs.uc.edu/~schlipf

Research Interests

  • Logic programming and deductive databases
  • Algorithms for satisfiability
  • Computability and complexity
  • Formal verification
  • Model theory