Lehrveranstaltungen von Markus Lohrey
|
Sommer 2012 (Univ. Leipzig)
Berechenbarkeit
Verifikation
unendlicher Systeme
Spieltheoretische
Methoden in der Logik
Winter 2011/2012 (Univ. Leipzig)
Automaten
und Sprachen
Strukturelle
Komplexitätstheorie
Seminar
Komplexitätstheorie
Seminar
Datenkompression
Winter 2010/2011 (Univ. Leipzig)
Logik
Strukturelle
Komplexitätstheorie
Seminar
Komplexitätstheorie
Seminar
Datenkompression
Sommer 2010 (Univ. Leipzig)
Verifikation
unendlicher Systeme
Spieltheoretische
Methoden in der Logik
Seminar Automaten und Logiken für semistrukturierte Daten
Winter 2009/2010 (Univ. Leipzig)
Strukturelle
Komplexitätstheorie
Schaltkreiskomplexität
Seminar
Komplexitätstheorie
Seminar
Datenkompression
Sommer 2009 (Univ. Leipzig)
Berechenbarkeit
Verifikation unendlicher Systeme
Spieltheoretische Methoden in der Logik
Winter 2008/2009 (Univ. Leipzig)
Diskrete Strukturen
Strukturelle Komplexitätstheorie
Seminar Komplexitätstheorie
Seminar Datenkompression
Sommer 2008 (Univ. Leipzig)
Automaten
und Sprachen
Verifikation unendlicher Systeme
Spieltheoretische Methoden in der Logik
Winter 2007/2008 (Univ. Leipzig)
Logik
Strukturelle Komplexitätstheorie
Seminar Komplexitätstheorie
Seminar Datenkompression
Sommer 2006 (Univ. Halle-Wittenberg)
Parametrisierte Algorithmen
Algorithmische Fragestellungen für komprimierte Daten
Winter 2005/2006 (Univ. Halle-Wittenberg)
Randomisierte Algorithmen
DNA Computing
Sommer 2005 (Univ. Stuttgart)
Theoretische
Informatik I
Hauptseminar Ausgewählte Themen der
Theoretischen Informatik
Winter 2004/2005 (Univ. Stuttgart)
Formale Semantik
Sommer 2004 (RWTH Aachen)
Selected topics from the theory of algorithms (an der RWTH Aachen)
Seminar Schaltkreiskomplexität (an der RWTH Aachen)
Seminar Algorithmen aus der Bioinformatik (an der RWTH Aachen)
Winter 2003/2004 (Univ. Stuttgart)
Kryptographische Verfahren
Seminar Datenkompression
Winter 2002/2003 (Univ. Stuttgart)
Graphentheorie
Sommer 2002
Parallele Algorithmen
Hauptseminar Datenkompression
Sommer 2001 (Univ. Stuttgart)
Hauptseminar Datenkompression
Sommer 2000 (Univ. Stuttgart)
Parallele Algorithmen
Hauptseminar Quanten-Computing
Winter 1999/2000 (Univ. Stuttgart)
Hauptseminar Verteilte Algorithmen
Markus Lohrey
Zimmer: 04.37
Telefon: (0341-)97-32201
E-Mail:
lohrey@informatik.uni-leipzig.de