Software Engineer at Apple working on distributed systems.

Previously: Intern at Apple, Visa ; Research Assistant at Mars Research group at UCI.

Publications:

• Isolation in Rust: What is Missing?
• RedLeaf: Isolation and Communication in a Safe Operating System
• Bachelor’s Thesis: Inter-Process Communication in a Safe Kernel