I'm Nick, a computer engineer interested in programming languages, formal verification, and digital architectures.
I'm currently studying computer engineering 🖥️ at Utah State University and expect to complete my Master's Degree in 2025.
I currently am most experienced writing C and C++, but I've taken courses using Rust and Java, and I'm familiar with MATLAB, Python, VHDL, and Verilog. I'm interested in learning Swift, and also interested in trying out / contributing to unique hardware description languages like chisel and spade.