Details
- John Franco
- Geier Professor of Computer Science at the University of Cincinnati
- Website: Personal Website
- Staff Type: Academic
- 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 Testing and 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
