Les Newsletters Interstices
Profil

Benjamin Werner

Chercheur Inria, responsable de l'équipe TYPICAL, enseignant à l'École Polytechnique.

Ses articles ( 2 articles publiés )

ArticleSécurité & Vie privée
Langages, programmation & logiciel

La vérité et la machine

Benjamin Werner

Niveau intermédiaire
Niveau 2 : Intermédiaire
ArticleSécurité & Vie privée
Langages, programmation & logiciel

Preuves formelles, preuves calculatoires

Benjamin Werner

Niveau intermédiaire
Niveau 2 : Intermédiaire
Voir tous les auteurs