- "Grundzüge von Datenstrukturen und Algorithmen" (WS 07/08), Saarland University, Instructor: Raimund Seidel
- "Security" (SS 08), Saarland University, Instructor: Werner Stephan
- "Introduction to Computational Logic" (SS 09), Saarland University, Instructors: Gert Smolka, Chad E. Brown
I'm currently working on my Master's thesis
"Tableaux for Higher-Order Logic with If-Then-Else, Description and Choice" under the advision of Chad E. Brown
In April of 2009, I finished my Bachelor's thesis
. The title is "A Database for Higher-Order Problems".
- Email: julian (at) ps (dot) uni-sb (dot) de