Dr. Olaf Beyersdorff
Kontaktinformationen
Institut für Theoretische Informatik
Fakultät für Elektrotechnik und Informatik
Universität Hannover
Appelstraße 4
30167 Hannover
| Raum: | 018 |
| Telefon: | +49 511 762 17708 |
| Fax: | +49 511 762 19606 |
| E-Mail: | beyersdorff |
Interessengebiete
- Komplexitätstheorie und Algorithmen
- Beweiskomplexität
- Logik in der Informatik
- Kryptographie
Kurzbiographie
- Forschungsaufenthalt an der Universität La Sapienza Rom bei Nicola Galesi (Okt. 2009 - Apr. 2010)
- Lecturer für Theoretische Informatik, Leibniz Universität Hannover (seit Nov. 2007)
- Wissenschaftlicher Mitarbeiter, Humboldt-Universität zu Berlin (Nov. 2000 - Okt. 2007)
- Promotion in Informatik, Betreuer: Johannes Köbler (Humboldt-Universität zu Berlin, 2006)
- Studium der Mathematik und Informatik an der Humboldt-Universität zu Berlin, Mälardalens Högskola (Västerås, Schweden), University of Sussex (Brighton, UK), UCLA, Universität Greifswald
Aktivitäten
- ESSLLI 2011: Lecturer, Advanced course Proofs and Games
- Theory and Applications of Models of Computation (TAMC'11): PC member
- Advances in the Theory of Computing (AITC'10): PC member
- ESSLLI 2010: Lecturer, Advanced course Proof Complexity of Non-classical Logics, joint with Oliver Kutz
- EURO 2010: Invited talk The Strength of Parameterized Resolution in the session "Satisfiability: Structures and Complexities"
- TAMC 2010: Invited talk Proof Complexity of Non-classical Logics in the special session on Proof Complexity
Aktuelle Lehrveranstaltungen
Lehrveranstaltungen in früheren Semestern
- Effiziente Algorithmen (VL+UE Wintersemester 2010/2011)
- Grundlagen der Theoretischen Informatik (UE Wintersemester 2010/2011)
- Logik (VL, Sommersemester 2010)
- Algorithmisches Beweisen (VL+UE, Sommersemester 2010)
- Kryptographie (VL+UE, Sommersemester 2009)
- Logik (VL+UE, Sommersemester 2009)
- Effiziente Algorithmen (VL+UE, Wintersemester 2008/2009)
- Grundlagen der Theoretischen Informatik (UE, Wintersemester 2008/2009)
- Kryptographie (VL+UE, Sommersemester 2008)
- Logik (VL+UE, Sommersemester 2008)
- Algorithmisches Beweisen (VL+UE, Wintersemester 2007/2008)
- Frühere Lehrveranstaltungen an der Humboldt-Universität zu Berlin
| Letzte Änderung: 06. April 2011.
Top
| Copyright Leibniz Universität
