| 
Die Arbeitsgruppe Logik
Die Arbeitsgruppe repräsentiert die Mathematische Logik als angewandte Grundlagendisziplin zwischen Mathematik und Informatik. Die Forschungsaktivitäten konzentrieren sich auf die Anwendungen beweistheoretischer, rekursionstheoretischer, kategorieller, algebraischer und modelltheoretischer Methoden der Logik in Mathematik und Informatik.
Neben der klassischen Mathematischen Logik (Beweistheorie, Rekursionstheorie, Modelltheorie) spielen hier konstruktive und kategorielle Logik, Funktional- und Realisierbarkeitsinterpretationen, allgemeine Algebra, Domaintheorie, Verbandstheorie, endliche Modelltheorie und algorithmische Fragestellungen eine wesentliche Rolle.
Mitglieder der Arbeitsgruppe Logik
Telefon |
| Raum |
| E-Mail | ||
Professoren | ||||||
16-3415 | 205 | kohlenbach@mathematik.tu-... | ||||
16-3115 | 207 | otto@mathematik.tu-... | ||||
16-2794 | 208 | streicher@mathematik.tu-... | ||||
16-2688 | 332 a | ziegler@mathematik.tu-... | ||||
| ||||||
16-3095 | S2|10-207 | burmeister@mathematik.tu-... | ||||
16-4205 | S2|10-209 b | herrmann@mathematik.tu-... | ||||
16-3295 | 322 | keimel@mathematik.tu-... | ||||
16-3095 | S2|10-207 | wille@mathematik.tu-... | ||||
| ||||||
16-4686 | 206 | ihringer53@googlemail.com | ||||
| ||||||
16-2215 | 204 | barany@mathematik.tu-... | ||||
16-4706 | 226 | gregoriades@mathematik.tu-... | ||||
16-2615 | 230 | koernlein@mathematik.tu-... | ||||
16-2860 | 203 | akreuzer@mathematik.tu-... | ||||
16-64532 | 229 | lesnik@mathematik.tu-... | ||||
16-2215 | 204 | roesnick@mathematik.tu-... | ||||
16-4480 | 332 b | leroux@mathematik.tu-... | ||||
16-2860 | 203 | safarik@mathematik.tu-... | ||||
| ||||||
16-4181 | 228 | gaspar@mathematik.tu-... | ||||
| ||||||
Barbara Bergsträßer | 16-4686 | 206 | logik@mathematik.tu-... | |||
Melvin Haus | 16-2589 | 224 | haus@mathematik.tu-... | |||
Betina Schubotz | 16-4686 | 206 | logik@mathematik.tu-... | |||
Ehemalige/Alumni
PD Dr. Benno v.d. Berg | ||
PD Dr. Achim Blumensath | Dr. Tim Kaiser | Dr. Jon Nedelmann |
Dr. Eyvind Briseid | Alexander Kartzow | Dr. Niklas Niemann |
Matthias Kegelmann, PhD | Dr. Hermann Puhlmann | |
Dr. Julia Klinger | Dr. Alexander Rohr | |
Dr. Joachim Hereth Correia | Rebecca Schumacher (geb. Lukas) | |
Dr. Philipp Sünderhauf | ||
Dr. Michael Holderbaum | Dr. Peter Lietz | Dr. Regina Tix |
Dr. Tobias Löw | Dr. Björn Vormbrock | |
Dr. Michael Marz | Dr. Annika Wille |
Kontakt
Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik
S2|15
Schloßgartenstraße 7
64289 Darmstadt
Tel.: +49-(0)6151-164686
Fax: +49-(0)6151-163317
logik@mathematik.tu-darmstadt.de
Sekretariat Raum S2|15-206 | |
Öffnungszeiten: |
|
Im Gebäude S2|15 im
Lageplan der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.
Drucken
Impressum
Kontakt
