604 B
604 B
| title |
|---|
| About |
I'm Daniel, a Computer Science student currently working towards my Master's Degree at Oregon State University. Due to 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.