$> 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 did a brief stint at L3Harris developing a unified management system for Network Traffic Generators like TRex or Ixia's tech suite.
• 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

• Embedded systems. 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.
• Programming language theory and implementation, specifically static analysis of programs.
• 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: May 3, 2026.

• Myself and some friends at the University of Utah made an interactive scene editor in rust with PCSS and VAO++ shading techniques. You can check out the repo here. It's a super rudimentary sort of application, but makes me feel like I could someday contribute to awesome software like Blender :)
• 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.

less professional about me

I want to do things that help people and if it intersects with playing with computers, that's a tremendous bonus. Generally I'd call myself someone who does a lot of dumb fun stuff for the bit. 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.

less professional interests

• funny pictures of animals 🐈
• lunch
• casting spells that transforms me into various strange objects
• goblins

contacting me

You can reach me at tnuha at proton dot me, or however you came about my website.