Edmund M. Clarke
Research Support
- Air Force Multi Univerisity Research Initiative
- Air Force Research Labs
- Army Research Office (ARO)
- DARPA
- Fujitsu Lab Limited
- General Motors (GM)
- Gigascale Silicon Research Center (GSRC)
- Intel
- International Collaboration for Advanced Security Technology
- National Science Foundation (NSF), NSF Expeditions in Computing
- National Security Agency
- Naval Research Laboratory
- Office of Naval Research (ONR)
- Raytheon BBN Technologies
- Semiconductor Research Corporation (SRC)