Our group works on all aspects of computer architecture with a particular focus on the design of secure, reliable, and correct systems. We are part of the Computer Systems Laboratory at the School of Electrical and Computer Engineering, Cornell University.
Our research projects are primarily supported by grants from the US government and gifts from industry. Government sponsors include the National Science Foundation, the Air Force Office of Scientific Research, the Office of Naval Research, the Army Research Office, and the Air Force Research Laboratory. Our industry sponsors include SRC, Intel, Xilinx, and Oracle.