Perfis

Perfis

Meu perfil Minha biblioteca

Robbert Krebbers

Associate Professor, Radboud University Nijmegen

E-mail confirmado em cs.ru.nl

Citado por 2949

Programming languages Concurrency Separation Logic Proof assistants Coq

Benjamin Werner

Professeur, Computer Science, Ecole Polytechnique

E-mail confirmado em polytechnique.edu

Citado por 2566

Logic computer science type theory formal proofs Coq

Théo Zimmermann

Télécom Paris

E-mail confirmado em telecom-paris.fr

Citado por 1339

Open source software Open collaboration Software maintenance and evolution Proof assistants Coq

Engelbert Hubbers

Lecturer Radboud University

E-mail confirmado em cs.ru.nl

Citado por 790

Logic Coq Discrete mathematics

Théo Winterhalter

Inria Saclay

E-mail confirmado em inria.fr

Citado por 445

type theory proof theory proof assistants coq

Sylvain Boulmé

Université Grenoble Alpes, Verimag

E-mail confirmado em imag.fr

Citado por 445

Interactive Theorem Proving Software Verification Coq

Nicolas Magaud

Associate Professor, University of Strasbourg

E-mail confirmado em unistra.fr

Citado por 405

proofs assistants formal proofs proof engineering Coq dependent type theory

Li-yao Xia

Citado por 371

Programming languages Formal verification Type systems Bidirectional programming Coq

Martin Bodin

Inria

E-mail confirmado em ens-lyon.org

Citado por 349

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 80

Computer verified proofs Coq discrete mathematics

1 - 10