Sylvain GUILLEY

Sylvain GUILLEY

TELECOM-ParisTech
E-mail confirmado em secure-ic.com
Citado por 8998
Security of embedded devices applied cryptography formal proofs
Thomas Hales

Thomas Hales

University of Pittsburgh
E-mail confirmado em pitt.edu
Citado por 5970
Motivic Integration Langlands Program Rep. Theory Discrete Geom. Formal Proofs
Guillaume Melquiond

Guillaume Melquiond

Inria, University Paris Saclay
E-mail confirmado em inria.fr
Citado por 3813
Computer arithmetic Program verification Formal proofs
Benjamin Werner

Benjamin Werner

Professeur, Computer Science, Ecole Polytechnique
E-mail confirmado em polytechnique.edu
Citado por 2614
Logic computer science type theory formal proofs Coq
Frédéric Blanqui

Frédéric Blanqui

INRIA
E-mail confirmado em inria.fr
Citado por 1437
dependent type theory rewriting theory logic formal proofs proof assistants
François Garillot

François Garillot

E-mail confirmado em garillot.net
Citado por 1333
Distributed Systems Blockchain Stream Processing Formal Proofs Cryptography
Karol Pąk

Karol Pąk

Institute of Informatics, University of Bialystok
E-mail confirmado em uwb.edu.pl
Citado por 993
Formal proofs
Julien Narboux

Julien Narboux

Associate Professor Université Paris Cité
E-mail confirmado em narboux.fr
Citado por 962
Formal proofs Foundations of Geometry Proof assistants Automated Deduction
Nicolas Magaud

Nicolas Magaud

Associate Professor, University of Strasbourg
E-mail confirmado em unistra.fr
Citado por 409
proofs assistants formal proofs proof engineering Coq dependent type theory
Pierre Néron

Pierre Néron

Standard Chartered
E-mail confirmado em polytechnique.org
Citado por 365
Functional programming Formal Proofs Type systems Theory of programming langauges
1 - 10