Felix Canavoi

PhD student
Research Group Logic

Department of Mathematics
Technische Universität Darmstadt

 

Schlossgartenstraße 7
D-64289 Darmstadt, Germany

Büro: S2|15-228
Telefon: 06151-16-22843
canavoi [at] mathematik.tu-darmstadt.de

 

Research Interests
  • Finite Model Theory
  • Modal Logics
  • Epistemic Logics
  • Parity Games
Publications
Projects
  • Member of the organising committee "PhDs in Logic VIII". Darmstadt, May 9-11, 2016.
Teaching
  • Winter term 2017/2018: Automaten, Formale Sprachen und Entscheidbarkeit (FGdI 1)
  • Summer term 2017: Aussagenlogik und Prädikatenlogik, Seminar: Team Semantics
  • Winter term 2016/2017: Automaten, Formale Sprachen und Entscheidbarkeit (FGdI 1)
  • Summer term 2016: Aussagenlogik und Prädikatenlogik, Logik und Grundlagen
  • Summer term 2015: Formale Grundlagen der Informatik, Seminar: Logic, Discrete Structures,
    Algorithmic Methods
  • Winter term 2014/15: Modal Logics, Gewöhnliche Differentialgleichungen

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


 
« Oktober 2017 »
Mo Di Mi Do Fr Sa So
39 1
40 2 3 4 5 6 7 8
41 9 10 11 12 13 14 15
42 16 17 18 19 20 21 22
43 23 24 25 26 27 28 29
44 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