11 lines
604 B
Markdown
11 lines
604 B
Markdown
---
|
|
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](https://crystal-lang.org/), and [Elm](https://elm-lang.org/). I also have experience
|
|
with Java, Python, Haxe, and JavaScript.
|