Craig Disselkoen
Sr. Applied Scientist at Amazon Web Services (AWS)
Washington DC-Baltimore Area United States
Summary
🤩
Rockstar🎓
Top SchoolCraig Disselkoen is a Senior Applied Scientist at AWS’s Automated Reasoning Group, leading development on the open-source Cedar policy language used for fine-grained access control. He holds a PhD in computer security and programming languages from UC San Diego and brings nine years of experience spanning security research, static and binary analysis, and developer tooling. His work blends rigorous research—co-authoring an IEEE S&P paper on Spectre variants—with practical systems engineering that ships in production at AWS. An active open-source contributor, Craig has made impactful contributions to projects from rust-analyzer to LLVM bindings and macOS window management, demonstrating fluency across Rust, Swift, and embedded firmware. He combines low-level hardware and compiler expertise from internships at Qualcomm and Mozilla with a knack for clean API and tooling design. Based in the DC‑Baltimore area, he’s comfortable navigating both academic research and applied product development to deliver auditable, developer-friendly security systems.
9 years of coding experience
2 years of employment as a software developer
University of California, San DiegoBachelor’s Degree, Computer Engineering, Bachelor’s Degree, Computer Engineering at Dordt University
Github Skills (35)
c-language10
cargo10
back-end-development10
llvm10
firmware10
macros10
ui-design10
uid10
api10
front-end-development10
sys10
embedded10
window-management10
swift10
rust10
Programming languages (19)
Github contributions (5)
ianyh/Amethyst
Aug 2018 - Feb 2019
Automatic tiling window manager for macOS à la xmonad.
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:10 commits, 5 PRs, 21 comments in 5 months
Contributions summary:Craig contributed significantly to the Amethyst window manager for macOS, focusing on feature additions and refactoring. They implemented new layouts such as "3Column-Left" and "3Column-Middle" and added a hotkey to focus the main window. Furthermore, the user updated the preferences UI, making changes to display layout names instead of keys. These commits demonstrate proficiency in Swift and contribute to the core functionality and user experience of the application.
tiling-window-managerwindowxmonadtilingmac
keyboardio/Kaleidoscope
Jul 2017 - Oct 2017
Firmware for Keyboardio keyboards and other keyboards with AVR or ARM MCUs.
Role in this project:Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:16 commits, 10 PRs, 16 comments in 3 months
Contributions summary:Craig primarily contributed to the firmware of a keyboard, focusing on macro functionality and keyswitch behavior. They refactored the macro system by removing the need for explicit macro termination and deprecated the "END" macro. Furthermore, they updated and improved keyswitch state handling and corrected documentation. They also addressed memory access issues related to key events and integrated support for a virtual hardware plugin.
rp2040keyboardsnrf52840firmwareavr
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.