Hi, I'm Ayden... welcome to my website!
I am a Master's student at The Ohio State University doing research on software security. In my free time, I like reading, bouldering, and working on personal projects.
If you're an employer, you may be interested in my résumé.
Academics
I got my Bachelor's degree from The Ohio State University in Spring 2026, and I'm now continuing here to do a Master's degree, which I'll graduate with in Spring 2027, thanks to the BS/MS program.
Research
My current research interest is programming language safety, and particularly in static type systems that enforce safety at compile time. I am currently a member of the PLaSS Research Group working on C-to-Rust translation, and as a member I contributed to &inator, a tool for synthesizing Rust interfaces from C programs. I'm currently working on using &inator to synthesize entire Rust programs.