Hello, my name is Tristan McDermott. On this blog, I will document my personal projects and technical accomplishments, and maybe talk about my other interests too.

Some things to know about me: I am currently a senior at the University of Massachusetts Lowell, double majoring in Computer Science and Mathematics. I don’t have any serious industry experience yet, but I have been employed at my university. In the summers of 2023 and 2025, I worked as an instructor for the SoarCS program, which is meant to help incoming freshman adapt to university life and learn about computer science. In spring of 2025, I worked with Professor Cimini on his Lang-n-Prove project to automatically generate proofs for programming language theorems. In the fall, I worked with Professor Gollamudi to help add an information flow control type system to LLVM. As you can gather, I’m a big fan of anything to do with programming languages, but I also enjoy other fields like low-level/systems programming and machine learning/AI. I’m currently learning Rocq to try to get into formal verification.

Some projects I’ve done and documented on here are Mickey, a high-level statically-typed imperative language that compiles to MIC-1 assembly; Oops, a functional language that has a bytecode compiler and stack-based VM; and a paper and presentation on the Curry-Howard correspondence.