Edmund M. Clarke
Research Support
- Army Research Office (ARO)
- Gigascale Silicon Research Center (GSRC)
- General Motors (GM)
- National Science Foundation (NSF)
- Office of Naval Research (ONR)
- Semiconductor Research Corporation (SRC)
- NSF Expeditions in Computing (NSF)