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-22862205kohlenbach (at) ...
Prof. Dr. Martin Otto16-22861207otto (at) ...
Prof. Dr. Thomas Streicher16-22860208streicher (at) ...

Emeriti und pensionierte Professoren
Prof. Dr. Peter Burmeister16-22846S2|10-207burmeister (at) ...
Prof. Dr. Christian Herrmann16-22847S2|10-209 bherrmann (at) ...
Prof. Dr. Klaus Keimel16-21452322keimel (at) ...
Prof. Dr. Rudolf Wille16-22846S2|10-207

Wissenschaftliche Mitarbeiter
Julian Bitterlich16-22845225bitterlich (at) ..
Felix Canavoi16-22843228canavoi (at) ...
Dr. Kord Eickmeyer16-22864204eickmeyer (at) ...
N.N.16-22844226
Daniel Körnlein16-22841230koernlein (at) ...

Gäste und Stipendiaten
Xiaoning Bian (02-08/16)203Dalhousie University
Maryam Ehya Jahromi (05-07/16)203Dalhousie University

Prof. Dr. Sara Faridi (01-07/16)

449Dalhousie University
Makoto Fujiwara (03/16)Waseda University
Takayuki Kihara (12/15 + 01/16)247University of California
Angeliki Koutsoukou-Argyraki (IRTG 1529)16-21491313koutsoukou (at) ...
Pierre Pradic (09/15-01/16)16-22842229ENS Lyon
Francisco Rios (02-07/16)16-22842229Dalhousie University
Prof. Dr. Walter RothUniversity of Brunei
PD Dr. Matthias Schröder16-22865203mschroeder (at) ...
Prof. Dr. Peter Selinger (01-07/15)449Dalhousie University
Florian Steinberg (IRTG 1529)16-21489311steinberg (at) ...

Administrativ-technische  Mitarbeiter
Melvin Haus16-21451224haus (at) ...
Betina Schubotz16-22863206logik (at) ...

Ehemalige/Alumni

Dr. Vince BárányProf. Dr. Thomas IhringerDr. Michael Marz
PD Dr. Benno v.d. BergDr. Steffen JostDr. Jon Nedelmann
PD Dr. Achim BlumensathProf. Achim Jung
Dr. Eyvind BriseidDr. Tim KaiserDr. Niklas Niemann
Dr. Frithjof DauDr. Alexander KartzowDr. Hermann Puhlmann
Dr. Harald FecherMatthias Kegelmann, PhDDr. Alexander Rohr
Dr. Philipp GerhardyDr. Aqeel Ahmad KhanDr. Carsten Rösnick
PD Vassilis Gregoriades PhDDr. Julia KlingerDr. Pavol Safarik
Daniel GünzelDr. Alexander KreuzerDr. Andrea Schalk
Christian Haack PhDDr. Branimir LambovRebecca Schumacher (geb. Lukas)
Dr. Markus HelmerichDr. Stéphane Le RouxDr. Philipp Sünderhauf
Dr. Joachim Hereth CorreiaDr. Ioana LeuşteanDr. Regina Tix
Prof. Martin HofmannProf. Laurenţiu LeuşteanDr. Björn Vormbrock
Dr. Michael HolderbaumDr. Peter LietzDr. Annika Wille
Dr. Richard HolzerDr. Tobias LöwProf. Martin Ziegler
Prof. Michael Huth

 

 

 

Kontakt

Technische Universität Darmstadt
Fachbereich Mathematik
Arbeitsgruppe Logik

S2|15
Schloßgartenstraße 7
64289 Darmstadt

Tel.: +49-(0)6151-1622863
Fax: +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Sekretariat
Raum S2|15-206
Betina Schubotz

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


 
« August 2016 »
Mo Di Mi Do Fr Sa So
31 1 2 3 4 5 6 7
32 8 9 10 11 12 13 14
33 15 16 17 18 19 20 21
34 22 23 24 25 26 27 28
35 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