Kevin Quick

Research & Engineering

At Galois, I am involved in various efforts to use symbolic execution and multi-variant compiler techniques to enable system verification and hardening through either modelling analysis or run-time monitoring.


Kevin holds a B.S. from Harvey Mudd College and spent a number of years in the commercial sector working on device drivers, kernel modules, network protocols and filesystems for various Operating Systems (many of which no longer exist), emulation systems, and virtualization. He was the principle architect of a moderately large scale distributed virtualization management system (running nearly 10,000 systems) and developed an Actor Model implementation in Python called “Thespian” to support that architecture, which has since been open sourced and which he continues to develop in his spare time.