François Garillot

François Garillot

Lurk Lab
Verified email at garillot.net
Cited by 1225
Distributed Systems Blockchain Stream Processing Formal Proof Cryptography
Nam Trung Tran

Nam Trung Tran

Institute of Mathematics, Vietnam Academy of Science and Technology
Verified email at math.ac.vn
Cited by 1064
Algebra Combinatorics Formal Proof
Keisuke Nakano

Keisuke Nakano

Tohoku University
Verified email at acm.org
Cited by 956
Formal Language Formal Proof Programming Language Functional Programming
hoang le truong

hoang le truong

Associate Professor
Verified email at math.ac.vn
Cited by 714
Commutative Algebra Algebraic Geometry Formal proof
Koji Yamamoto

Koji Yamamoto

Fujitsu Research, Fujitsu
Verified email at acm.org
Cited by 139
Software engineering Program analysis Formal proof Formal method Program semantics
Florent BREHARD

Florent BREHARD

Uppsala universitet
Verified email at math.uu.se
Cited by 102
rigorous numerics computer algebra formal proof computer-assisted proofs
Horace Blanc

Horace Blanc

Université Paris Cité
Verified email at etu.u-paris.fr
formal proof medecine