John V Franco
CEAS - Elec Eng & Computer Science 0030
Rhodes Hall 831
Manage Your Profile


Ph.D in Computer ScienceComputer Science,Rutgers the State University of New Jersey,,1981
M.S. in E.E.Electrical Engineering,Columbia University ,New York,1971
B.S. in E.E.Electrical Engineering,City College of New York,New York City,1969

Research and Practice Interests

Information assurance, cyber defense, design & analysis of SAT algorithms, applications of SAT to network and computer security, formal methods, model checking, interactive first order logic theorem provers.

Professional Summary

Prof. Franco is director of the National Center of Academic Excellence in Cyber Operations at the University of Cincinnati.  The Center is a collaborative effort involving three university colleges, and two local major defense contractors for advanced training in cyber operations and cyber security.

Prof. Franco is editor-in-chief of the Journal on Satisfiability, Boolean Modeling, and Computation, and an editor of the Annals of Mathematics and Artificial Intelligence.  He is Vice Chair of the SAT Association and a member of the steering committee for the annual Internation Conference on the Theory and Applications of Satisfiability Testing.

Prof. Franco has been PI, Co-PI, or Senior Personnel on 18 grants and contracts from the ONR, AFOSR, EPA, NSA, and NSF. He spent 9 months sabbatical leave at Fort George G. Meade in Research and Engineering on Satisfiability research, was visiting scientist at FAW, Ulm, Germany for three summers, and visiting scientist at U. Paderborn for a summer.

Publications (Click the link below)