Rémy Cerda

À propos

Photo

Je suis doctorant contractuel à l'Université d'Aix-Marseille. Je m'intéresse principalement aux fondements mathéma­tiques de l'informatique. Je me mêle aussi un peu de sciences sociales en parallèle.

Mathématiques et informatique

Depuis septembre 2020, je travaille comme doctorant au sein de l'équipe Logique de la programmation de l'Institut de mathématiques de Marseille (I2M, UMR 7373). Ma thèse, préparée sous la direction de Lionel Vaux Auclair et Laurent Regnier, porte sur la sémantique quantitative et sur le développement de Taylor des λ-termes. En particulier, je travaille sur l'extension de cet outil au λ-calcul infinitaire afin d'en caractériser certains comportements calculatoires.

Le mardi après-midi, je suis au séminaire des doctorant⋅es de l'I2M à Luminy (feat. les collègues du LIS et du CPT). On parle de nos recherches et de notre thèse et tout le monde y est invité⋅e.

Sciences sociales

En parallèle, je m'intéresse à quelques questions de sciences sociales. Je suis en particulier intéressé par la définition et la transmission de savoirs pratiques par les enseignements des mathématiques, ainsi qu'aux filières « d'élite » de l'enseignement supérieur, à leur accès et au contenu de leur formation. J'ai creusé ces interrogations en travaillant sur les colles de mathématiques en CPGE sous la direction d'Emmanuelle Picard.

Cet intérêt m'a également conduit à siéger au conseil de l'Observatoire national de la vie étudiante (OVE).

Enseignement

À l'Université d'Aix-Marseille

Je suis chargé d'enseignement à la Faculté des sciences d'Aix-Marseille Université.

Cette année, j'enseigne dans les unités suivantes :

Précédemment, j'ai enseigné dans les unités :

Auparavant

2018 – 2020, interrogations orales en classes préparatoires (MPSI, BCPST et B/L).

2018 – 2019, séminaire étudiant de théorie des catégories (avec Meven Bertrand). Il paraît qu'on va mettre nos notes au propre, un jour.

Contact

I2M, site de Luminy
Bâtiment Ancienne BU, bureau A206
163 avenue de Luminy, case 907
13288 Marseille Cedex 9

Tel. (+33) 4 91 26 95 91

Courriel : remy point cerda chez univ-amu.fr.
Voici ma clef publique.

Theoretical Computer Scientists for Future
Dernière modification : 07/01/2022, 14:01.

J'ai cru par l'esprit
me libérer de mes prisons
Mais l'esprit lui-même est une prison
J'ai essayé d'en repousser les parois
J'essaie toujours

Abdellatif Laâbi