Home
Welcome
I am a PhD student at the University of Rochester supervised under Prof. Sreepathi Pai. I earned a Bachelor's in Computer Science and a Minor in Mathematics at Knox College. I frequently start side projects or toy with concepts, and sometimes make writeups about them here. I have several projects I have not yet made writeups for that I plan to here.
Posts
- ChemLang - Algorithms as Chemical Reactions - November 11, 2025
- Implementing Game of Life with Comonads - October 28, 2025
- Automatic Type Differentiation in Haskell - October 26, 2025
- Using Software Transactional Memory with the Dining Philosophers Problem - October 23, 2024
- Formally Verified Monads in Idris - April 27, 2024
- Binary String Evolution in Haskell - March 26, 2023
- Simulating Prisoner’s Dilemma Strategies with Haskell - February 23, 2023
…complete list available in the archives.
Projects
- Allen's Interval Algebra - June 6, 2024
- QIdris - A Quantum Computer Simulator in Idris - May 18, 2024
- Snake - A 2D N-Body Simulator - April 25, 2024
- Purity - Purely Functional Terminal Shell - March 15, 2024
- Amogus - Among Us Logical Lie Detector - October 24, 2023
- Megastar - Turing Complete Esoteric Language - September 22, 2023
- Haskell Study - TUI Alternative to Quizlet - April 28, 2023
- Evolutionary Computation - Smart Rockets - April 3, 2023
- Horcrux - Unbreakable File Encryption - December 21, 2022
- Hexer - TUI Based Hex Editor - May 16, 2022
…complete list available in the projects list.