The Logic Group

The research group primarily represents the subject area of Mathematical Logic viewed as an applied foundational discipline between mathematics and computer science. Research activities focus on the application of proof theoretic, recursion theoretic, category theoretic, algebraic and model theoretic methods from mathematical logic to mathematics and computer science.

Beside classical mathematical logic (with proof theory, recursion theory and model theory) this involves constructive type theory, categorical logic, universal algebra, domain theory, lattice theory, finite model theory, and algorithmic issues.

Members of the Logic Group

Telefon     Raum 
S2|15-
  E-Mail
@mathematik.tu-darmstadt.de
Professors
Prof. Dr. Ulrich Kohlenbach 16-22862205kohlenbach (at) ...
Prof. Dr. Martin Otto16-22861207otto (at) ...
Prof. Dr. Thomas Streicher16-22860208streicher (at) ...

Emeriti and retired professors
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

Research assistants
Julian Bitterlich16-22845225bitterlich (at) ...
Felix Canavoi16-22843228canavoi (at) ...
Dr. Kord Eickmeyer16-22864204eickmeyer (at) ...
Vassilios Gregoriades, Ph. D.16-22844226gregoriades (at) ...
Daniel Körnlein16-22841230koernlein (at) ...

Visiting scientists, scholarship and grantholders
Xiaoning Bian (02-08/16)203Dalhousie University
Maryam Ehya Jahromi (05-07/16)203Dalhousie University

Prof. 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)229Dalhousie University
Dr. Matthias Schröder16-2865203mschroeder (at) ...
Prof. Peter Selinger (01-07/16)449Dalhousie University
Florian Steinberg (IRTG 1529)16-21489311steinberg (at) ...

Administrative personnel
Melvin Haus16-21451224haus (at) ...
Betina Schubotz16-22863206logik (at) ...

Former Members/Alumni

Dr. Vince BárányDr. Steffen JostDr. Michael Marz
PD Dr. Benno v.d. BergProf. Achim JungDr. Jon Nedelmann
Dr. Eyvind BriseidDr. Tim KaiserDr. Niklas Niemann
Dr. Frithjof DauDr. Alexander KartzowDr. Hermann Puhlmann
Dr. Harald FecherMatthias Kegelmann, PhDDr. Alexander Rohr
Dr. Philipp GerhardyM. Aqeel A. Khan, PhDDr. Carsten Rösnick
Daniel GünzelDr. Julia KlingerDr. Pavol Safarik
Christian Haack PhDDr. Alexander KreuzerDr. Andrea Schalk
Dr. Markus HelmerichDr. Branimir LambovRebecca Schumacher (geb. Lukas)
Dr. Joachim Hereth CorreiaDr.Stéphane Le RouxDr. 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
Prof. Michael HuthDr. Tobias LöwProf. Dr. Martin Ziegler
Prof. Dr. Thomas Ihringer

Contact

Technische Universität Darmstadt
Department of Mathematics
Logic Group

S2|15
Schloßgartenstraße 7
64289 Darmstadt
GERMANY

Phone: +49-(0)6151-1622863
Fax:     +49-(0)6151-1622840

logik@mathematik.tu-darmstadt.de

Secretary's office
S2|15-206
Betina Schubotz

Office hours:
Mo.-Fr.  10:00-15:00


 

« July 2016 »
Mo Tu We Th Fr Sa Su
26 1 2 3
27 4 5 6 7 8 9 10
28 11 12 13 14 15 16 17
29 18 19 20 21 22 23 24
30 25 26 27 28 29 30 31
A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang