פרופילים

פרופילים

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

Robbert Krebbers

Associate Professor, Radboud University Nijmegen

כתובת אימייל מאומתת בדומיין cs.ru.nl

צוטט על ידי 3308

Programming languages Concurrency Separation Logic Proof assistants Coq

Benjamin Werner

Professeur, Computer Science, Ecole Polytechnique

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

צוטט על ידי 2614

Logic computer science type theory formal proofs Coq

Théo Zimmermann

Télécom Paris, Polytechnic Institute of Paris

כתובת אימייל מאומתת בדומיין telecom-paris.fr

צוטט על ידי 1419

Open source software Open collaboration Software maintenance and evolution Coq Rocq Prover

Engelbert Hubbers

Lecturer Radboud University

כתובת אימייל מאומתת בדומיין cs.ru.nl

צוטט על ידי 793

Logic Coq Discrete mathematics

Théo Winterhalter

Inria Saclay

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

צוטט על ידי 515

type theory proof theory proof assistants coq

Sylvain Boulmé

Université Grenoble Alpes, Verimag

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

צוטט על ידי 475

Interactive Theorem Proving Software Verification Coq

Li-yao Xia

צוטט על ידי 413

Programming languages Formal verification Type systems Bidirectional programming Coq

Nicolas Magaud

Associate Professor, University of Strasbourg

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

צוטט על ידי 409

proofs assistants formal proofs proof engineering Coq dependent type theory

Martin Bodin

Inria

כתובת אימייל מאומתת בדומיין ens-lyon.org

צוטט על ידי 366

Programming languages Language specification Program verification Coq

Allan van Hulst

Postdoc reserarcher in theoretical computer science, Utrecht University

כתובת אימייל מאומתת בדומיין uu.nl

צוטט על ידי 83

Computer verified proofs Coq discrete mathematics

1 - 10