Friedrich-Schiller-Universität
Jena,
Fakultät für Mathematik & Informatik,
Institut für Informatik,
Lehrstuhl für Theoretische Informatik I
Harald Hempel
Teaching History
- Summer Term 2008:
- Complexity Theory (course)
- Winter Term 2007/08:
- Summer Term 2007:
- Discrete Mathematics and Logic 2 (course)
- Winter Term 2006/07:
- Discrete Mathematics and Logic 1 (course)
- Computational Complexity (seminar)
- Summer Term 2006:
- Winter Term 2005/06:
- Complexity Theory (course)
- Computational Complexity (seminar)
- Summer Term 2005:
- Data Structures and Algorithms (Informatik II) (course at Martin-Luther-Universtät Halle-Wittenberg)
- DNA Computations (course at Martin-Luther-Universtät Halle-Wittenberg)
(course)
- Winter Term 2004/05:
- Discrete Mathematics and Logic
(course)
- Algorithmic Number Theory (course)
- Computational Complexity (seminar)
- Summer Term 2004:
- Formal Languages and Computability Theory (Informatik 4)
(course)
- DNA Computing (course)
- Computational Complexity (seminar)
- Winter Term 2003/2004:
- Algorithms and Data Structures (course)
- Algorithms for Bioinformatics (course)
- Graph Theory (seminar)
- Summer Term 2003:
- Discrete Mathematics and Logic 2 (course)
- Unconventional Methods of Computing (seminar)
- DNA Computing (seminar)
- Winter Term 2002/2003:
- Discrete Mathematics and Logic 1 (course)
- Circuit Complexity (course at Martin-Luther-Universtät Halle-Wittenberg)
- Computational Complexity (course at Martin-Luther-Universtät Halle-Wittenberg)
- Summer Term 2002:
- Computability and Complexity (course)
- Computability and Complexity (problem session)
- Winter Term 2001/2002:
- Discrete Mathematics and Logic (course)
- Discrete Mathematics and Logic for Bio/Computer Science (problem session)
- Discrete Mathematics and Logic for Business/Computer Science (problem session)
- Summer Term 2001:
- Formal Languages and Computability Theory (Informatik 4)
(course)
-
Quantum Computing (seminar)
- Winter Term 2000/2001:
-
Quantum Computing
(Quantum Algorithms) (course)
- Complexity Theory (co-instructor for Prof. G. Wechsung's course)
- Discrete Mathematics and Logic (co-instructor for Prof. G. Wechsung's course)
- Winter Term 1999/2000 and Summer Term 2000:
Sabbatical. Visiting research fellow at the
University of Rochester (Rochester, NY, USA),
- sponsored by a DAAD Post-doctoral Research Fellowship.
- Summer Term 1999:
- Counting and Optimization (course)
- Discrete Mathematics and Logic II (co-instructor for Dr. D. Kratsch's course)
- Winter Term 1998/1999:
- Complexity Theory (co-instructor for Prof. G. Wechsung's course)
- Semantics (co-instructor for Prof. G. Wechsung's course)
- Summer Term 1998:
- Recursive Function Theory (Informatik IV) (co-instructor for
Prof. G. Wechsung's course)
- Discrete Mathematics and Logic II (co-instructor for
Dr. J. Vogel's course)
- Winter Term 1997/1998:
- Complexity Theory I (co-instructor for Prof. G. Wechsung's course)
- Discrete Mathematics and Logic I (co-instructor for
Dr. J. Vogel's course)
- Summer Term 1997:
- Complexity Theory II (co-instructor for Prof. G. Wechsung's course)
- Selected Aspects of Complexity Theory (seminar)
- Winter Term 1996/1997:
- Semantics (co-instructor for Prof. G. Wechsung's course)
- Discrete Mathematics and Logic I (co-instructor for
Dr. J. Vogel's course)
- Summer Term 1996:
- Recursive Function Theory (Informatik IV) (co-instructor for
Prof. G. Wechsung's course)
- Winter Term 1995/1996:
- Complexity Theory (co-instructor for Prof. G. Wechsung's course)
- Summer Term 1995:
- Discrete Mathematics and Logic II (co-instructor for
Dr. J. Vogel's course)
- Winter Term 1994/1995:
- Discrete Mathematics and Logic I (co-instructor for
Dr. J. Vogel's course)
Harald Hempel,
email to: hempel at informatik.uni-jena.de