معرفی
Prof. John Franco is a Professor of Computer Science at the University of Cincinnati, serving as Director of the National Center of Academic Excellence in Cyber Operations. His roles include Editor-in-Chief of the Journal on Satisfiability, Boolean Modeling, and Computation, and Vice Chair of the SAT Association. He has held visiting scientist positions at institutions in Germany (FAW Ulm, Universität Paderborn) and spent sabbatical leave at Fort George G. Meade.
Education:
- Ph.D. in Computer Science, Rutgers University, 1981
- M.S. in Electrical Engineering, Columbia University, 1971
- B.S. in Electrical Engineering, City College of New York, 1969
Research Interests: Franco’s work focuses on satisfiability (SAT) algorithms, formal verification, cybersecurity, and computational complexity. He has pioneered probabilistic analysis of SAT-solving heuristics and contributed to the integration of SAT techniques into network security and formal methods. His research bridges theoretical computer science with practical applications in cyber defense and algorithm optimization.
Grants & Funding: Franco has secured over 18 grants from agencies like the NSA, NSF, and ONR. Notable projects include Satisfiability Algorithm Research (NSA grants since 1999), cybersecurity curriculum development (NSA 2018–2022), and Ohio Cyber Range initiatives. He has led or collaborated on federal and state-funded projects totaling millions in funding.
Labs/Teams: Directs the National Center of Academic Excellence in Cyber Operations, a collaborative effort with local defense contractors. His work involves partnerships with institutions like Wright State Applied Research Corporation and Riverside Research Institute.
