I’m an implementation-oriented engineer who enjoys working on programming language design and compilers. I’ve worked on Swift’s type inference algorithm in the Swift compiler and have written several Swift Language Evolution proposals. Below is a running list:

• SE-0479: Method & Initializer Key Paths
• SE-0438: Metatype Key Paths
• Allow Accessor Macros on Let Declarations
• Allow Property Wrappers on Let Declarations
• Refining Property-Wrapper-Related Initialization
• Improving the Debug Output of the Type Inference Algorithm
• Key Path Inference and Diagnostic Improvements

Previously, I worked as an iOS engineer after undergrad at UC Berkeley and grad at Georgia Tech where I focused on improving LLVM’s debug info.