L’équipe pédagogique
Le Master LOGOS s’appuie sur une équipe pédagogique interdisciplinaire issue de quatre laboratoires de recherche. Cette diversité permet aux étudiants d’explorer les interfaces entre logique, philosophie, mathématiques, linguistique et informatique théorique.
Les étudiants peuvent effectuer leur mémoire de recherche ou leur stage dans l’un de ces laboratoires partenaires :
Les laboratoires partenaires
Site web : https://sphere.cnrs.fr/
À propos du laboratoire :
L’unité SPHERE (Sciences, Philosophie, Histoire) développe des recherches qui se situent à la rencontre des sciences, de la philosophie et de l’histoire. Le laboratoire étudie tous les savoirs et toutes les pratiques scientifiques, tant d’un point de vue historique que philosophique, sur toutes les périodes, de l’Antiquité à nos jours, et dans toutes les aires géographiques, culturelles et linguistiques.
Domaines de recherche :
- Histoire et philosophie des mathématiques
- Histoire et philosophie des sciences de la nature
- Histoire et philosophie de la médecine
- Interdisciplinarité en histoire et philosophie des sciences
- Philosophie des sciences arabes et médiévales
Effectifs : Plus de 100 membres permanents, incluant chercheurs CNRS, enseignants-chercheurs et doctorants.
Site web : http://www.llf.cnrs.fr/
À propos du laboratoire :
Le Laboratoire de Linguistique Formelle développe une approche formelle du système cognitif qu’est le langage. À travers l’analyse formelle des unités traditionnelles du langage (le mot, la phrase, l’énoncé ou le discours) et l’analyse d’un ensemble de langues très diversifié, les chercheurs du LLF explorent le système cognitif du langage dans son entier.
Spécificités :
- Diversité des approches théoriques
- Diversité des langues étudiées (langues romanes, créoles, langues d’Asie orientale, etc.)
- Méthodes de linguistique théorique, expérimentale, computationnelle et de terrain
- Membre du Labex EFL (Empirical Foundations of Linguistics)
Effectifs : 12 chercheurs CNRS, 22 enseignants-chercheurs, 34 doctorants et 5,5 personnels techniques.
Site web : https://www.imj-prg.fr/
À propos du laboratoire :
L’Institut de Mathématiques de Jussieu-Paris Rive Gauche est dédié à la recherche en mathématiques fondamentales. Il se singularise parmi les laboratoires de mathématiques en France par sa taille et par l’ampleur de ses recherches qui couvrent l’essentiel des domaines des mathématiques fondamentales.
Équipes de recherche :
- Analyse algébrique
- Analyse complexe et géométrie
- Combinatoire et optimisation
- Formes automorphes
- Logique mathématique (équipe d’accueil principale pour LOGOS)
- Théorie des nombres
- Topologie et géométrie algébriques
Effectifs : Près de 400 membres dont 200 enseignants-chercheurs permanents et plus de 100 doctorants.
Implantation : Campus de Jussieu (Sorbonne Université) et campus Paris Rive Gauche (Université Paris Cité).
Site web : https://www.irif.fr/
À propos du laboratoire :
L’Institut de Recherche en Informatique Fondamentale est né de la fusion des laboratoires LIAFA et PPS en 2016. Les recherches menées à l’IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.
Domaines d’excellence :
- Conception et analyse d’algorithmes
- Modèles de calculs et représentation des données
- Fondements des langages de programmation
- Vérification et certification logicielle
- Logique mathématique et informatique théorique
- Combinatoire, théorie des graphes, algèbre
Effectifs : Près de 200 personnes, dont une centaine de membres permanents.
Distinctions : 7 lauréats ERC, 3 membres IUF, 2 membres Academia Europæa, 1 membre Académie des sciences.