Carsten Hornung

Saarland University Computer Science
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.


Carsten Hornung, Sat Mar 23 16:00:17 2013