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 
S2|15-
  E-Mail
@mathematik.tu-darmstadt.de
Professoren
Prof. Dr. Ulrich Kohlenbach 16-3415205kohlenbach@mathematik.tu-...
Prof. Dr. Martin Otto16-3115207otto@mathematik.tu-...
Prof. Dr. Thomas Streicher16-2794208streicher@mathematik.tu-...
Prof. Dr. Martin Ziegler16-2688332 aziegler@mathematik.tu-...

Emeriti und pensionierte Professoren
Prof. Dr. Peter Burmeister16-3095S2|10-207burmeister@mathematik.tu-...
Prof. Dr. Christian Herrmann16-4205S2|10-209 bherrmann@mathematik.tu-...
Prof. Dr. Klaus Keimel16-3295322keimel@mathematik.tu-...
Prof. Dr. Rudolf Wille16-3095S2|10-207wille@mathematik.tu-...

Apl. Professoren und Privatdozenten
PD Dr. Achim Blumensath16-2215204blumensath@mathematik.tu-...

Wissenschaftliche Mitarbeiter
Julian Bitterlich16-3801225bitterlich@mathematik.tu-...
Dr. Kord Eickmeyer16-2215204eickmeyer@mathematik.tu-...
Felix Canavoi16-3801225canavoi@mathematik.tu-...
Vassilios Gregoriades, Ph. D.16-4706226gregoriades@mathematik.tu-...
Daniel Günzel16-2860203guenzel@mathematik.tu-...
Daniel Körnlein16-2615230koernlein@mathematik.tu-...
Davorin Lesnik, Ph. D.16-64532229lesnik@mathematik.tu-...
Carsten Rösnick16-4181228roesnick@mathematik.tu-...
Dr. Stéphane Le Roux16-4480332 bleroux@mathematik.tu-...

Gäste und Stipendiaten
Makoto Fujiwara (06+07/13)pndhc696@yahoo.co.jp
M. Aqeel A. Khan, PhD (DAAD, 07-12/13)16-2860203itsakb@hotmail.com
Angeliki Koutsoukou-Argyraki (IRTG 1529)16-50186313koutsoukou@mathematik.tu-...
Thomas Leventis (01-03/14)16-4497449thomas.leventis@ens-lyon.fr
Dr. Anvar Nurakunov (AvH, 04-06/14)
Florian Steinberg (IRTG 1529)16-50188319steinberg@mathematik.tu-...
Aday Shomanov (04+05/13)adai_is@mail.ru
Yasuyuki Tsukamoto (04-09/14)

Administrativ-technische  Mitarbeiter
Barbara Bergsträßer16-4686206logik@mathematik.tu-...
Melvin Haus16-2589224haus@mathematik.tu-...
Betina Schubotz16-4686206logik@mathematik.tu-...

Ehemalige/Alumni

Dr. Vince BárányProf. Michael HuthDr. Tobias Löw
PD Dr. Benno v.d. BergDr. Steffen JostDr. Michael Marz
Dr. Eyvind BriseidProf. Achim JungDr. Jon Nedelmann
Dr. Frithjof DauDr. Tim KaiserDr. Niklas Niemann
Dr. Harald FecherDr. Alexander KartzowDr. Hermann Puhlmann
Dr. Philipp GerhardyMatthias Kegelmann, PhDDr. Alexander Rohr
Dr. M. Aqeel A. Khan, PhDDr. Pavol Safarik
Christian Haack PhDDr. Julia KlingerDr. Andrea Schalk
Dr. Markus HelmerichDr. Alexander KreuzerRebecca Schumacher (geb. Lukas)
Dr. Joachim Hereth CorreiaDr. Branimir LambovDr. Philipp Sünderhauf
Prof. Martin HofmannDr. Ioana LeuşteanDr. Regina Tix
Dr. Michael HolderbaumDr. habil. Laurenţiu LeuşteanDr. Björn Vormbrock
Dr. Richard HolzerDr. Peter LietzDr. 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
Barbara Bergsträßer
Betina Schubotz

Öffnungszeiten:
Mo. - Fr.  10:00-15:00


 
« August 2014 »
Mo Di Mi Do Fr Sa So
31 1 2 3
32 4 5 6 7 8 9 10
33 11 12 13 14 15 16 17
34 18 19 20 21 22 23 24
35 25 26 27 28 29 30 31

Im Gebäude S2|15 im
Lageplan
der TUD,
Abschnitt Stadtmitte Nord,
oder unter Anreise.

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang