Lehrveranstaltungen von Markus Lohrey

Winter 2013/2014 (Univ. Siegen)

Komplexitätstheorie

Algorithmen

Seminar Verifikation

Sommer 2013 (Univ. Leipzig)

Verifikation unendlicher Systeme

Spieltheoretische Methoden in der Logik

Winter 2012/2013 (Univ. Leipzig)

Diskrete Strukturen in der Informatik

Logik

Strukturelle Komplexitätstheorie

Seminar Komplexitätstheorie

Seminar Datenkompression

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