Timothy Sherwood

Computing today has a role to play in practically every single human endeavor, but problems with efficiency, security, privacy, and complexity still continue to hold us back. Professor Sherwood and his lab have been developing systems for a new era which use application-customization to achieve efficiency, exploit new devices and materials for new computational abilities, and attempt to provide functionality beyond performance such as provable security properties. In 2010, his team built the first full hardware/software system with gate-level verifiable information flow properties, work that went on to be the foundation for Tortuga Logic and deployed into countless high assurance chips. Other recent work includes software profiling/debugging peripherals, superconducting architectures, networks on-chip, information flow visualization, low-power and mobile processing, sketch based software interfaces, high throughput streaming analysis architectures, and MEMS sensor closed-loop control architectures.