Welcome

Hi, my name is John. I’m a recent graduate of the University of Tübingen with a master’s degree in computational linguistics.

I did my undergraduate degree at the University of Illinois in Urbana Champaign. I have a Bachelors of Arts in linguistics and a Bachelors of Science in computer science. I also did a minor in math.

I’m interested in functional programming and also in theorem provers. Some programming languages I enjoy include Haskell, Prolog, and Rust.

In addcition to experience in obscure languages, I also have worked in relatively normal languages, such as Java, Python and C++. I previously had an internship where I learned react.

While I search for jobs, I plan to work on some side projects to gather some experience, and hopefully I will document the process here.