Skip to content Skip to navigation

John Franco

Academic
Geier Professor of Computer Science at the University of Cincinnati
Degree: 
Ph.D
Graduation Year: 
1981
Description: 

Geier Professor of Computer Science at the University of Cincinnati. — Researcher in algorithms, especially SAT solvers, their theory and application. Served formerly on the faculties of Case Western Reserve University and Indiana University. He is currently on the board of the Satisfiability Association, is a member of the steering committee for the series Symposia on the Theory and Applications of Satisfiability Testingand served as its Program Chair in 2010. He also serves in editorial capacity for the Journal on Satisfiability, Boolean Modeling, and Computation, and Annals of Mathematics and Artificial Intelligence

Non-Faculty Advisor: 
Marvin Paull