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
  • 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

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


 

« October 2017 »
Mo Tu We Th Fr Sa Su
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
A A A | Print Print | Impressum Legal note | Contact Contact
    zum Seitenanfangzum Seitenanfang