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 contracts from industry and government to perform research on how to protect critical software from cyber attack.
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.