Perfis

Perfis

Meu perfil Minha biblioteca

Robbert Krebbers

Associate Professor, Radboud University Nijmegen

E-mail confirmado em cs.ru.nl

Citado por 3309

Programming languages Concurrency Separation Logic Proof assistants Coq

Benjamin Werner

Professeur, Computer Science, Ecole Polytechnique

E-mail confirmado em polytechnique.edu

Citado por 2614

Logic computer science type theory formal proofs Coq

Théo Zimmermann

Télécom Paris, Polytechnic Institute of Paris

E-mail confirmado em telecom-paris.fr

Citado por 1421

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

Engelbert Hubbers

Lecturer Radboud University

E-mail confirmado em cs.ru.nl

Citado por 793

Logic Coq Discrete mathematics

Théo Winterhalter

Inria Saclay

E-mail confirmado em inria.fr

Citado por 516

type theory proof theory proof assistants coq

Sylvain Boulmé

Université Grenoble Alpes, Verimag

E-mail confirmado em imag.fr

Citado por 475

Interactive Theorem Proving Software Verification Coq

Li-yao Xia

Citado por 413

Programming languages Formal verification Type systems Bidirectional programming Coq

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

Martin Bodin

Inria

E-mail confirmado em ens-lyon.org

Citado por 367

Programming languages Language specification Program verification Coq

Allan van Hulst

Postdoc reserarcher in theoretical computer science, Utrecht University

E-mail confirmado em uu.nl

Citado por 83

Computer verified proofs Coq discrete mathematics

1 - 10