Matthias Büchse

, Computer Scientist, Dr. rer. nat.

I like to couple theory and application for their mutual benefit, which I set out to do with my PhD thesis. I code in C, C++, Java, Python, and Haskell. I use Latex, git, and GNU/Linux.

I'm on LinkedIn and on XING.


Have a look at my GitHub profile (currently, toy projects only).

I was responsible for the development of Vanda (Haskell) and Vanda Studio (Java) from their inception until I quit university in 2014.

Academic career and oeuvre (2008–2014)

Check out my dissertation! It is meticulously crafted (of which I am still proud), yet utterly futile. As for my publications, I recently decided to move the list to a separate page. Not that these publications ever were particularly relevant to begin with. I was a course assistant in 13 courses (including tutorials, lab work, and seminars) on the topics of programming languages, tree automata, and natural-language processing. I supervised 7 master/diploma theses.


A picture of me    A picture of me    A picture of me