Research Grants, Contracts, Scholarships
Investigation of Efficient Heuristics for a
State-Based Satisfiability Solver
John Franco (PI), Anne Cross, Shikha Goyal
Computer Research Associates, Committee
on the Status of Women in Computing Research, $6,500, 2006-2007.
|
Satisfiability Research and Development to
Enhance Formal Verification Tools
John Franco (PI), John S. Schlipf,
Michal Kouril, Sean Weaver
U.S. Department of Defense, $561,821,
2001-2004.
|
Satisfiability Research and Development to
Enhance Formal Verification Tools
John Franco (PI), John S. Schlipf,
Robert Price, Jeffrey Ward, Sean Weaver
U.S. Department of Defense, $493,000,
1999-2001.
|
Translating PERL to Java
John Franco (PI) and Brad Kuhn
USENIX, $20,000 - Kuhn obtained this scholarship
on his own with some consultation from me
|
Complexity of Algorithms for Problems in
Propositional Logic
John Franco (PI), John Schlipf, Chris Gianella
Office of Naval Research,
N00014-94-1-0382, 1/1/94--3/31/97, $260,000, 1994-1997.
|
Graphical Remedial Assessment and Cost Evaluation
John Franco
U.S. Environmental Protection Agency, $36,400
(administered through CERL) 1994-1995.
|
A GRACE interface for GRASS
John Franco and Humberto Zuazaga
U.S. Army Corps of Engineers, $75,000,
1994-1995.
|
GRACE equipment grant
John Franco
EDUCOM, Ohio Board of Regents, $10,000,
1992-1993.
|
Graphical Remedial Assessment and Cost
Evaluation
Kevin Savage (PI), Lawrence Murdoch,
and John Franco
U.S. Environmental Protection Agency
68-C9-0031;WA2-33, $61,400, 1992-1993.
|
Computer Assisted Site Evaluation: System
Development and Technical Assistance
John Franco, Elizabeth Spencer,
and Kevin Savage (PI)
U.S. Environmental Protection Agency
68-C9-0031;WA2-5, $375,000, 1991-1993.
|
Computer Assisted Analysis of Trench Design
John Franco, Larry Murdoch, and James Uber
U.S. Environmental Protection Agency
68-C9-0031;WA2-1, $22,000, 1991-1992.
|
Data Compilation: It's Design and Analysis
John Franco (PI) and Daniel P. Friedman
Air Force Office of Scientific
Research 89-0186, $109,000, 1988-1990.
|
Probabilistic Analysis of Algorithms For
NP-Complete Problems
John Franco (PI)
Air Force Office of Scientific
Research 84-0372, $261,000, 1984-1989.
|
Probabilistic Analysis of Algorithms for
NP-Complete Problems
John Franco (PI)
Air Force Office of Scientific
Research 82-0331, $99,000, 1982-1984.
|
|
|
|