Zephyr Software had its genesis in the National Compiler Infrastructure (NCI) project that was sponsored by Defense Advanced Research Project Agency and the National Science Foundation (NSF). The goal of the NCI project was to build high-quality tools for quickly building high-quality compilers for any target machine. The "Zephyr" approach was and still is to write tools that process high-level specifications of what a compiler needs to know and generate the necessary code. For example, the instruction selector of a Zephyr compiler is generated by processing a description of the target machine's instruction set.
Most recently Zephyr has focused on software security applications. Zephyr has had numerous government contracts to build innovative tools to protect critical software vital for both running our nation's critical infrastructure and to protect critical defense systems.
Jack Davidson is the founder and president of Zephyr Software. He is a Professor of Computer Science at the University of Virginia. He has over 35 years of experience building compilers and other system software.
Clark Coleman has a Ph.D. in Computer Science from the University of Virginia. He was a Research Scientist at the University of Virginia from 2006 to 2009 developing techniques for analyzing binaries for vulnerabilities.