פרופילים

פרופילים

הפרופיל שלי הספרייה שלי

Sylvain GUILLEY

TELECOM-ParisTech

כתובת אימייל מאומתת בדומיין secure-ic.com

צוטט על ידי 8996

Security of embedded devices applied cryptography formal proofs

Thomas Hales

University of Pittsburgh

כתובת אימייל מאומתת בדומיין pitt.edu

צוטט על ידי 5969

Motivic Integration Langlands Program Rep. Theory Discrete Geom. Formal Proofs

Guillaume Melquiond

Inria, University Paris Saclay

כתובת אימייל מאומתת בדומיין inria.fr

צוטט על ידי 3812

Computer arithmetic Program verification Formal proofs

Benjamin Werner

Professeur, Computer Science, Ecole Polytechnique

כתובת אימייל מאומתת בדומיין polytechnique.edu

צוטט על ידי 2614

Logic computer science type theory formal proofs Coq

Frédéric Blanqui

INRIA

כתובת אימייל מאומתת בדומיין inria.fr

צוטט על ידי 1437

dependent type theory rewriting theory logic formal proofs proof assistants

François Garillot

כתובת אימייל מאומתת בדומיין garillot.net

צוטט על ידי 1332

Distributed Systems Blockchain Stream Processing Formal Proofs Cryptography

Karol Pąk

Institute of Informatics, University of Bialystok

כתובת אימייל מאומתת בדומיין uwb.edu.pl

צוטט על ידי 993

Julien Narboux

Associate Professor Université Paris Cité

כתובת אימייל מאומתת בדומיין narboux.fr

צוטט על ידי 962

Formal proofs Foundations of Geometry Proof assistants Automated Deduction

Nicolas Magaud

Associate Professor, University of Strasbourg

כתובת אימייל מאומתת בדומיין unistra.fr

צוטט על ידי 409

proofs assistants formal proofs proof engineering Coq dependent type theory

Pierre Néron

Standard Chartered

כתובת אימייל מאומתת בדומיין polytechnique.org

צוטט על ידי 365

Functional programming Formal Proofs Type systems Theory of programming langauges

1 - 10