About me
Software engineer in Seattle, WA.
I work on the compiler for Neuron Kernel Interface (NKI) at AWS. NKI (pronounced "Nicki") is a Python DSL for writing performant kernels targeting Trainium accelerators.
Before that, I worked on Amazon EC2. I focused on building tools that help us safely deploy Nitro System virtualization software across millions of hosts in the EC2 dataplane.
I was a Jefferson Scholar at the University of Virginia, where I studied computer science and mathematics. I ran with Virginia Club Running and played bass in the Virginia Jazz Ensemble.
Projects
- I work on a toy functional programming language called Hiss. Try it yourself on the playground!
- I occasionally blog. My most recent post is about solving the NYT Pips game using SMT.
- I maintain a Spotify playlist converter used by DJs at WXTJ and WTJU.
Contact
- Email: joek1301@gmail.com
- LinkedIn: joseph-e-kerrigan
- GitHub: joek13
- Pinboard: kerrigan
- Twitter: @kerrigan_again