Karl Palmskog

Karl Palmskog

KTH Royal Institute of Technology
Verified email at kth.se
Cited by 601
Programming languages formal verification distributed systems proof engineering
Nicolas Magaud

Nicolas Magaud

Associate Professor, University of Strasbourg
Verified email at unistra.fr
Cited by 398
proofs assistants formal proofs proof engineering Coq dependent type theory
Talia Ringer

Talia Ringer

Assistant Professor, University of Illinois at Urbana-Champaign
Verified email at illinois.edu
Cited by 381
Proof Engineering Programming Languages Verification Proof Automation Dependent Types
Enzo Crance

Enzo Crance

Inria
Verified email at inria.fr
Cited by 22
Proof engineering proof transfer formal proof automation