$> cat ash.website
professional about me
- 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'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.
I'm currently on the market! Which is to say, I'm looking for PhD student positions in the areas of compiler engineering, specifically static analysis and formal methods.
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.
- Scalable systems, specifically their verification, is of particular interest to me. A project I'd love to see/work on is a verified implementation of raft in Lean 4.
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 🐈
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.