Forschungsthemen
Am Lehrstuhl beschäftigen wir uns schwerpunktmäßig mit dem Entwurf und der Analyse von Algorithmen in verschiedenen Rechenmodellen, und hier speziell mit komplexitätstheoretischen Fragestellungen. Ein weiteres Forschungsgebiet sind Clusteringverfahren für Graphen.
Näheres zu unseren Forschungsgebieten kann den jeweiligen Publikationen entnommen werden.
DFG-Projekt Interaktive und probabilistisch prüfbare Beweise
Für einen Zeitraum von 2 Jahren (bis September 2013) wird am Lehrstuhl derzeit ein von der Deutschen Forschungsgemeinschaft DFG finanziertes Projekt zum Thema "Interaktive und probabilistisch prüfbare Beweise in reellen Rechenmodellen" durchgeführt. Eine kurze Zusammenfassung findet sich 
hier, Projektmitarbeiter ist Herr M. Baartse.
Herausgebertätigkeit
Klaus Meer ist derzeit bei folgenden Zeitschriften tätig:
Journal of Complexity, Elsevier, Mitglied des Editorial Boards- Mathematical Logic Quarterly, Wiley, Herausgeber
Konferenzen
- From Dynamics to Complexity: A conference celebrating the work of Mike Shub, Fields Institute, Toronto, May 2012
- School Lluis Santalo of the Spanish Mathematical Society, Santander, July 2012
- Algorithms and Complexity for Continuous Problems, Dagstuhl, September 2012
- 64. Theorietag Gesellschaft für Informatik, TU Darmstadt, Oktober 2012
Publikationen
Ein Verzeichnis der Publikationen findet sich auf den Seiten der jeweiligen Mitarbeiter:
- Publikationen Klaus Meer
- Publikationen Romain Gengler
- Publikationen Randolf Rotta
- Publikationen Martijn Baartse