Experience

  1. Principal Engineer

    Intel Labs

    My research has generated or influenced hardware and software security architectures deployed on a large proportion of computer systems in use today.

    I have contributed to shipping processor security technologies, including Control-Flow Enforcement Technology (CET) and VT-Redirect Protection (VT-rp).

    I was Principal Investigator for Intel’s project on Cryptographic Capability Computing (C3) in the DARPA HARDEN program.

    I designed and co-developed deterministic spatial safety support for MiraclePtr in the Chrome browser.

    My LLVM-based research on shielding stack memory from corruption helped lead to a 2022 paper in a top-tier programming languages conference covered by ZDNet.

    I also researched approaches for scalable isolation, e.g., using segmentation to accelerate WebAssembly (upstreamed in wasm2c).

Education

  1. M.S. & Ph.D. in Computer Science

    University of Illinois at Urbana-Champaign

    Advised by Prof. Carl A. Gunter.

    National Defense Science and Engineering Graduate (NDSEG) Fellow.

    M.S. Thesis: Dependable Emergency-Response Networking Based on Retaskable Network Infrastructures.

    Postdoc through May 2012.

    Ph.D. Dissertation (Compact Integrity-Aware Architectures)

  2. B.S. in Computer Science

    University of Wisconsin-Eau Claire

    UWEC Outstanding CS Senior of the Year, 2005

    Karlgaard Scholarship

    Summa cum laude

    National Merit Scholarship Finalist

Skills
Technical Skills
C++
C
X86 assembly language
Python
Rust
LLVM/Clang
SMT-LIB / Z3

SAT/SMT solver (completed Coursera course)

Awards
UWEC Alumni Distinguished Achievement Award
University of Wisconsin-Eau Claire Alumni Association ∙ May 2025
“The Alumni Distinguished Achievement Award recognizes distinguished service to the community, state or nation in a manner that brings credit upon the award recipient and UW-Eau Claire.”
Intel Hardware Security Academic Award Honorable Mention
Intel ∙ August 2024
For Hardware-assisted Fault Isolation (HFI)
IEEE MICRO Top Picks
Institute of Electrical and Electronics Engineers (IEEE) ∙ July 2024
For “Hardware-Assisted Fault Isolation: Going Beyond the Limits of Software-Based Sandboxing”
ASPLOS Distinguished Paper
28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ∙ March 2023
For “Going beyond the Limits of SFI: Flexible and Secure Hardware-Assisted In-Process Isolation with HFI”
ACM Senior Member
Association for Computing Machinery (ACM) ∙ May 2022
Joined November 2011
IEEE Senior Member
Institute of Electrical and Electronics Engineers (IEEE) ∙ June 2022
Joined March 2013
HICSS Best Paper
41st Hawaii International Conference on System Sciences ∙ January 2008
For “An Integrated Architecture for Demand Response Communications and Control”
Program Committees
Mentoring
Volunteering
Favorite Resources