Daniel's Blog


I’m Daniel, a Computer Science student currently in my third (and final) undergraduate year at Oregon State University. Due my initial interest in calculators and compilers, I got involved in the Programming Language Theory research group, gaining same experience in formal verification, domain specific language, and explainable computing.

For work, school, and hobby projects, I use a variety of programming languages, most commonly C/C++, Haskell, Crystal, and Elm. I also have experience with Java, Python, Haxe, and JavaScript.