Institute of Theoretical Computer Science
- 1:
Teaching. - 2: Research.
- 3: TheorieTag.
- 4: Members.
- 4.1:
Prof. Dr. Uwe Schöning. - 4.2: Prof. Dr. Jacobo Torán.
- 4.3: Prof. Dr. Enno Ohlebusch.
- 4.4: Waltraud Fromm.
- 4.5: Dipl.-Phys. Stefan Arnold.
- 4.6: Dipl. Inf. Adrian Balint.
- 4.7: Dipl.-Inf. Timo Beller.
- 4.8: Dipl.-Inf. Oliver Gableske.
- 4.9: M.SC.-Bioinf. Dominikus Krüger.
- 4.10: Dipl.-Inf. Adrian Kügel.
- 4.11: Dr. Markus Maucher.
- 4.12: Dipl.-Inf. Thomas Schnattinger.
- 4.13: Dipl.-Inf. Simon Straub.
- 4.14: Dipl.-Inf. Gunnar Völkel.
- 4.15: Ehemalige Mitarbeiter / Doktoranden.
- 4.1:
- 5: Adresse.
- 6: Intern.
- 7: Imprint.
Dipl.-Inf. Simon Straub
Interessen
- Im Allgemeinen: Komplexitätstheorie
- Im Speziellen: Parallele Komplexität
- Und davon besonders: Matchings
Lehre
- Logik (SS12)
- Implementierung von web-Suchmaschinen (WS11/12)
- Algorithmen und Datenstrukturen (WS11/12)
- Logik (SS11)
- Algorithmen in der Graphentheorie (SS11)
- Algorithmen und Datenstrukturen (WS10/11)
Publikationen
- Planarizing Gadgets for Perfect Matching do not Exist, Rohit Gurjar, Arpita Korwar, Jochen Messner, Simon Straub, Thomas Thierauf, technical report, eccc, TR11-148, 2011
- Untere Schranken für Beweissysteme, Diplomarbeit, Simon Straub, Universität Ulm, 2010
Sprechzeiten
Nach Vereinbarung
Funktion
Wissenschaftlicher Mitarbeiter
Kontakt
Raum: O27/548
Telefon: +49 (0)731 50 24107
Telefax: +49 (0)731 50 24102
simon(dot)straub(at)uni-ulm(dot)de