Conversation avec Thierry Coquand, informaticien et mathématicien français, co-découvreur du système Coq. En collaboration avec le Blog Binaire.
- Chercheur au LSV, laboratoire d'informatique de l'ENS Cachan, et professeur attaché à l'ENS Paris-Saclay., École Normale Supérieure Paris-Saclay – Université Paris-Saclay
Pour Michel Serres, tout moyen de communication est la meilleure et la pire des choses. Il faut vivre avec les libertés qu’apporte le numérique et aussi avec ses bobards.
Contact Gilles for
- General
- Media request
- Speaking request
- Consulting / Advising
- Research collaboration
- Research supervision
- Location: Paris, France
- Website
- Article Feed
- Joined
