Equipe de Logique de Lausanne

Adresse:

Département des Opérations
Université de Lausanne
Quartier UNIL-Chamberonne
Bâtiment Anthropole
1015 Lausanne, Suisse

Institut de Mathématiques
EPFL SB MATH
Bâtiment MA
Station 8
1015 Lausanne, Suisse

Intérêts de recherche:

Logique Mathématique, Théorie des Ensembles, Théorie Descriptive des Ensembles, Informatique Théorique.

Cours de Logique à Lausanne:

Cycle Bachelor: Logique mathématique, Introduction à la Logique
Cycle Master: Gödel and Recursivity, Set Theory