Baptiste MÉLÈS

ATER (2012-2013) à l’Université Blaise Pascal en logique, épistémologie et histoire de la philosophie (voir le site personnel de Baptiste MÉLÈS) .

Domaines d’intérêt :
- Philosophie de la logique, des mathématiques et de l’informatique.
- Notion de système philosophique.
- Pensée et mathématiques chinoises.

Formation :
- Agrégation (2007) et doctorat (2011) de philosophie.
- Licence 2 de mathématiques (en cours).
- Licence de lettres modernes (2003).
- École Normale Supérieure (Ulm Lettres, 2002).

Écriture de programmes informatiques :
- MesoCalc : calculatrice mésopotamienne (2013).
- TMPL : langage de programmation de machines de Turing (2008).
- SpinozaBase : structure argumentative de l’Éthique de Spinoza (2007).