Carsten Hornung
I'm a student at Saarland University. I wrote my bachelor's thesis at the Programming Systems Lab.
Previous activities
Summer 2012
Tutor: "Introduction to Computational Logic", Instructor: Prof. Dr. Gert Smolka
Summer 2011
Tutor: "Introduction to Computational Logic", Instructor: Prof. Dr. Gert Smolka.
Winter 2010/2011
Supervision: "Programmierung 1", Instructor: Prof. Dr. Gert Smolka.
Supervision: "Tutorenseminar Programmierung 1", with Maximilian Meyer
Tutor: "Grundzuege der Theoretischen Informatik", Instructor: Prof. Dr. Raimund Seidel.
Summer 2010
Tutor: "Programmierung 2", Instructor: Jun.-Prof. Dr. Sebastian Hack.
Winter 2009/2010
Tutor: "Programmierung 1", Instructor: Prof. Dr.-Ing. Holger Hermanns.
Legal notice, Privacy policy