B. Sc. Computer Science at University of Leipzig

I’ve studied computer science at the University of Leipzig and took some time to finish my bachelor’s degree. Several aspects played into this: Taking on a student assistant position at a local Max Planck Institute certainly helped prolong the process, but so did my drive to take every module that looked vaguely interesting and spend extended time at the computer pool just to exchange on interesting topics.

Among other things I got the chance to do this:

Carbon-adf

For my bachelors I designed and implemented carbon-adf and wrote a corresponding thesis.

The theses gives an overview over Dung argumentation frameworks as well as variations of the concept. Along with that I explore the case for Haskell as a server side programming language for a web application. The theses also documents the design of carbon-adf, and explores embedding abstract dialectical frameworks [project] [pdf] in a wiki context by making use of diamond-adf.

Toy cpu

As part of a practical training I had the opportunity to write a small toy CPU featuring 16 opcodes as well as interrupts using VHDL.

Functional programming

At university I found joy in functional programming and with Haskell in particular. This had a sizeable influence on aspects of code that I would desire and appreciate in later projects such as immutability and purity.