Curriculum Vitæ

baptiste.meles@normalesup.org
Né le 29 août 1981

Thèmes de recherche :
  Philosophie des systèmes (Kant, Hegel, Foucault, Vuillemin et l’histoire structurale de la philosophie),
  Logique, mathématiques, informatique (théorie de la démonstration et logique linéaire ; structures et catégories ; langages de programmation et théorie des systèmes d’exploitation ; instruments de calcul),
  Sinologie (pensée et mathématiques chinoises).

Voir une liste de publications, journées d’études, communications et travaux.

Postes

• Depuis 2014 : Chargé de recherche au CNRS (élu en commission interdisciplinaire 53) ;
• 2013-2014 : ATER à l’Université Blaise Pascal de Clermont-Ferrand ;
• 2012-2013 :
  • Postdoctorant sur « L’Œuvre de Jules Vuillemin et ses prolongements » à l’Université de Lorraine et aux Archives Henri Poincaré ;
  • Chargé de cours à l’Université de Lorraine ;
  • Chargé de cours à l’Université Paris I Panthéon-Sorbonne ;
• 2010-2012 : ATER à l’Université Blaise Pascal de Clermont-Ferrand ;
• 2007-2010 : Moniteur à l’Université Blaise Pascal de Clermont-Ferrand.

Enseignement

• Depuis 2014, Université de Lorraine :
  • Philosophie de l’informatique (M2) : fondements de l’informatique, langages de programmation.
  • Expérience et subjectivité chez Michel Foucault / Les Mots et les choses de Michel Foucault (L3)
  • Méthodes des sciences de la nature (L2, 2014-2017).
  • Méthodologie philosophique (L1, L2).
  • Cours sur le thème « Science et religion » : Mathématiques et théologie (M1, 2014-2015).
  • Logique (L1 Sciences du langage, 2014-2015) : calcul des propositions, introduction au calcul des prédicats.

• 2015-2016, Université Paris 1-Panthéon Sorbonne :

• Informatique et philosophie (L2).

• 2013-2014, Université Blaise Pascal de Clermont-Ferrand :
  • Cours magistral et travaux dirigés de Logique (L2) : calcul des propositions, calcul des prédicats, calcul des relations ; syllogistique ; philosophie de la logique et des mathématiques ; introduction à la théorie de la démonstration.
  • Cours d’Épistémologie (Master 1, Agrégation de philosophie) : « La négation ».
  • Cours de Philosophie antique (L2, L3) : Le système et la logique des Stoïciens.
  • Cours d’Anglais (M1).
  • Préparation à l’Agrégation.

• 2012-2013 :
  • Université de Lorraine : cours de Philosophie contemporaine « Expérience et discours chez Michel Foucault » (L3, second semestre).
  • Université Paris I Panthéon-Sorbonne : cours magistral de Logique (L2, second semestre, chargé de cours).

• 2009-2012, Université Blaise Pascal de Clermont-Ferrand :
  • Cours magistral et travaux dirigés de Logique (L1 et L2) : calcul des propositions, calcul des prédicats, calcul des relations ; syllogistique ; philosophie de la logique et des mathématiques ; introduction à la théorie de la démonstration.
  • Méthodologie du travail universitaire (L1).

• 2008-2009, Université Blaise Pascal de Clermont-Ferrand :
  • Métaphysique et philosophie générale (L1) : « Machines et pensée ».
  • Méthodologie du travail universitaire (L1).

• 2007-2008, Université Blaise Pascal de Clermont-Ferrand :
  • Métaphysique et philosophie générale (L1) : « L’idée de monde ».
  • Méthodologie du travail universitaire (L1).
  • Leçons d’agrégation sur le thème « Logique et épistémologie ».
  • Cours d’agrégation (5 heures) : « Pensée et calcul chez Turing : machines abstraites et jeu de l’imitation ».

Participation à des jurys de concours et à des comités scientifiques

• Jury de thèses :
  • Membre du jury de thèse de David THOMASETTE, La Philosophie à l’âge de la science. Édition commentée d’un livre inachevé de Jules Vuillemin, direction Gerhard Heinzmann et Joseph Vidal-Rosset, Université de Lorraine, 3 décembre 2015.

• Membre du jury de thèse de CHEN Yifu 陳怡夫, L’Étude des différents modes de déplacement des boules du boulier et de l’invention de la méthode de multiplication Kongpan Qianchengfa et son lien avec le calcul mental, direction Karine Chemla, Université Paris-Diderot, 6 décembre 2013.

• Jury de concours :
  • Membre de la section 35 du Comité national de la Recherche scientifique (CoNRS) depuis 2016.
  • Membre du jury du concours écrit (depuis 2012) et oral (depuis 2016) des Écoles Normales Supérieures.
  • Membre d’un jury de concours de maître de conférences en histoire et philosophie des sciences à l’Université de Provence (2016).

• Encadrement de la recherche :
  • Co-direction (avec Manuel Rebuschi) de la thèse de Didier Lommelé, Analyse philosophique du concept de mémoire informatique (depuis 2017).
  • Direction du mémoire de Master 2 de Didier Lommelé, Mémoires informatiques (2015-2016).
  • Encadrement de 5 stages d’initiation à la recherche en Licence 3 sur les Archives Jules-Vuillemin (depuis 2016).

• Responsabilités scientifiques :
  • Porteur de l’ANR VUILLEMIN (2017-2020).
  • Membre à 10% de l’ANR PROGRAMME (porteuse : Liesbeth de Mol).
  • Membre à 10% de l’ANR MATHESIS (porteur : David Rabouin).
  • Rédacteur en chef adjoint de la revue Philosophia Scientiæ depuis 2016.
  • Co-responsable de l’axe 3 du laboratoire Archives Henri-Poincaré (UMR 7117) avec Manuel Rebuschi depuis 2016.
  • Membre du comité de rédaction de la section « Histoire des mathématiques » du site Images des mathématiques depuis 2015.
  • Secrétaire de la Société des Amis de Jean Cavaillès depuis 2014.
  • Membre du conseil scientifique de la mission locale d’Auvergne de sauvegarde du Patrimoine scientifique et technique contemporain (mission nationale PATSETC) (2011-2012).

Formation

Mai 2013	Licence 2 de mathématiques à l’Université Pierre et Marie Curie (Paris 6), spécialité Informatique. Année validée à 50%
2007-2011	Doctorat de philosophie à l’université Blaise Pascal (Clermont-Ferrand II). Thèse intitulée Les Classifications des systèmes philosophiques, d’Emmanuel Kant à Jules Vuillemin : étude architectonique, logique et mathématique, sous la direction d’Élisabeth Schwartz (Clermont-Ferrand II). Jury : Emmanuel Cattin (Clermont-Ferrand II), Jean-François Courtine (Paris IV), Sébastien Gandon (Clermont-Ferrand II), Alain Michel (Université de Provence), Jean-Baptiste Rauzy (Paris IV). Thèse soutenue le mardi 6 décembre 2011 à la Maison des sciences de l’homme de Clermont-Ferrand. Mention Très honorable avec les félicitations du jury à l’unanimité
Juin 2010	Licence 1 de mathématiques et informatique à l’Université de Provence (Aix-Marseille I), spécialité Mathématiques. Année validée
Juin 2007	Master 2 de philosophie à l’université Paris I - Sorbonne. Mémoire intitulé Architectonique et archéologie. La notion de système chez Michel Foucault (1966-1969), sous la direction de Jocelyn Benoist. Mention Très bien
2004-2007	Préparation de l’agrégation de philosophie. Admissible en 2005 et 2006, reçu 41e en 2007
Juin 2004	Maîtrise de philosophie à l’université Paris X - Nanterre. Mémoire intitulé Dialectique et polémique. L’invective hegelienne, sous la direction de Catherine Malabou. Mention Très bien
Juin 2003	Licence de lettres modernes à l’université Paris IV - Sorbonne. Mention Assez bien
Juin 2002	Licence de philosophie à l’université Paris IV - Sorbonne
2002-2007	École Normale Supérieure (rue d’Ulm, Paris). Concours A/L, option philosophie, reçu 16e (1er en dissertation de philosophie)
1999-2002	Classes préparatoires littéraires au lycée Condorcet (Paris). Admissible à l’ENS en 2001
Juin 1999	Baccalauréat littéraire. Mention bien

Langues

• Allemand, chinois et anglais lus, écrits et parlés.
• Latin et grec ancien.
• Débutant en espagnol, russe et japonais.

Informatique

• Création de MesoCalc, calculatrice pour le calcul sexagésimal positionnel mésopotamien (2013).
• Création du langage de programmation TMPL (2008).
• Réalisation de plusieurs programmes d’informatique littéraire et philosophique, dont la SpinozaBase (2007) et le Convertisseur Proust.
• Responsabilités informatiques à l’École Normale Supérieure : administration système, administration web, tutorat informatique.
• Administration de serveurs HTTP, FTP, SSH et SQL. Webmestre ou formateur des webmestres de plusieurs sites :
  • site personnel ;
  • sites du laboratoire Philosophies et rationalités et du colloque Actualité du logicisme ;
  • sites des artistes Carole Brand, Emmanuel Régent et Anne Schmauch, et du Club Vidéo de l’ENS.
• Pratique d’une vingtaine de langages informatiques (dont HTML et XHTML, CSS, XML, SQL, LaTeX, RSS, PHP, XSLT, Perl, C, C++, JavaScript, Lisp, assembleur, Prolog, Coq, Scilab).
• Rédaction et traduction de documentation informatique.

Expériences

• Permis B.
• Contribution à l’encyclopédie libre Wikipédia depuis 2004.

Loisirs

• Informatique.
• Musique : piano (niveau Supérieur), guitare basse. Participation à des concours (UFAM) et à des concerts.
• Sports : voile (niveau confirmé), tennis.
• Autres : jeu de go, calligraphie chinoise.

Haut de page