Principal Scientist
Portland, Or, Us
Led the development of significant projects at Galois, including: • the Haskell Lightweight Virtual Machine (HaLVM), one of the earliest unikernels, along with a number of its drivers, libraries, updates, a Tor implementation, etc. Gave talks on unikernels at venues like QCon, and tutorials on using them at StrangeLoop. • CyberChaff, a lightweight honeypot technology with strong minimality and protection guarantees, which could fool tools like `nmap` into believing it was anything from a sailboat to a Windows server. • foreign function support, VHDL verification, and early hardware synthesis support for Cryptol • inline network and disk encryptors for servers, laptops, and mobile devices, that could transparently encrypt all data coming in and out of an untrusted operating system. • General work on boot loaders (including ones using secure measurement technologies, like TPMs and ARM TrustZone), compiler optimizations, and operating systems (server, mobile, and embedded).• Managed teams of up to 12 people and $2m/year, meeting and exceeding customer expectations in advanced, high-risk research and development projects.• Acquired significant funding (>$20m across my tenure at Galois) for research projects in systems software and cybersecurity, including contracts from the Intelligence community; Phase I, II, and III SBIR's from Department of Energy, Homeland Security, and Defense clients; and CyberFastTrack grants and program awards from DARPA.• Successfully spun off Tangram Flex as an independent organization, now with 50+ employees, outside investment, and significant contract revenue. Developed their initial product roadmap with them, and established their initial customers and contracts. Served as transition lead for our CyberChaff and 3DCoP products.• Led evaluation and certification efforts, including collaboration with LG electronics with regard to FIPS certification for several of their phones and software libraries.
