$> cat ash.website
professional about me
- I am a software engineering intern at Memfault for the summer of '26, and previously worked at Vivint, both developing firmware.
- I am a current Master's student at University of Utah.
- I am a contributor to the Rust standard library and compiler. See my commits here.
- I am a contributor to LLVM and LLVM's libc implementation. The most up-to-date versions of my work can be found here.
- I am a contributor to Panda3D through some fuzzing efforts. You can see the fuzzing setup myself and some colleagues cooked up here.
- I've taught courses on computer systems, programming languages, and computer networks.
- Personal project interests can mostly be found on my codeberg, but are typically PLdev, systems programming, and sometimes graphics programming.
professional interests
- Programming language theory and implementation, specifically static analysis of programs.
- Embedded Linux programming. IoT in particular is here to stay, and I'm here to help it be better.
- Generally speaking, beyond IoT and embedded devices, I care immensely about cybersecurity across the board. This is what brought me to Memfault :)
- Scalable systems, specifically their verification, can be pretty fascinating. A project I'd love to see/work on is a verified implementation of raft in Lean 4.
top 3 current and recent personal projects
Last updated: April 20, 2026.
- Extended my CEK machine in OCaml with polymorphic types. This is really what I was hoping to set up for to begin with, and proves that latter projects for type system with lambda calculus would be super easy to work with in this codebase. Repo here.
- Currently fuzzing panda3D! The community is surprisingly very helpful, and the software is kind of hidden and used everywhere. Repo here, which also includes a link to posted issues in the README.
- The U is well-known for its graphics program. Although I'm not always the most graphically-inclined, I had to take advantage of that! Myself and some peers implemented an interactive scene editor with different ambient occlusion and soft shadow models. I'll be posting a repository for that soon...
less professional about me
Generally I'd call myself someone who does a lot of dumb fun stuff for the bit, and sometimes it overlaps with smart computer stuff.
Ultimately this means that, if you work with me, I have lots of dummy commit messages, but I also get obsessed with whatever we're working on.
Otherwise, I try to keep the mood up.
Outside of school and work I write stupid posts on the internet. Maybe some of those will land here someday,
but currently I'm not brave enough to do that. Odds are, if I trust you with this, I've told you where these accounts are.
less professional interests
- funny pictures of animals 🐈
- lunch
- casting spells that transforms me into various strange objects
contacting me
You can reach me at scholar ship ments at gmail dot com, or however you came about my website.
I'm also available on discord at hi dot my dot name dot is dot ash, or stoat.chat as ash#2918.