Sotabase

Career

· Research Intern, Google2024–2024
· Research Intern, Cloudflare2023–2023
· Research Intern, Microsoft Research2022–2022
· PhD in Computer Science, Columbia University2021–
· Research Assistant, Columbia University2021–
· Research Intern, Ecole Normale Supérieure, Paris2020–2020
· MS in Computer Science, Columbia University2019–2020
· PhD in Computer Science, Columbia University2019–
· Visiting Researcher, The University of Sydney2019–2019
· M.S. in Engineering, Ecole Polytechnique2018–2019
· Intern, Muvee Technologies2018–2018
· B.S. in Engineering, Ecole Polytechnique2016–2018
· Officer Cadet, French Armed Forces2016–2017
· Undergraduate program in Mathematics and Physics, Lycée Sainte-Geneviève2014–2016

Publications (12)

127
cited
USENIX Symposium on Operating Systems Design and Implementation · 2021
34
cited
Formal Verification of Blockchain Byzantine Fault Tolerance
2019
32
cited
International Symposium on Distributed Computing · 2022
14
cited
10
cited
Compositional Verification of Byzantine Consensus
2021
8
cited
ACM Symposium on Parallelism in Algorithms and Architectures · 2020
8
cited
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 2022
7
cited
European Conference on Computer Systems · 2022
6
cited
Symposium on Operating Systems Principles · 2023
2
cited
Edinburgh Research Explorer Cross-chain payment protocols with success guarantees
Sotabase
Pierre Tholoniat | Researcher Profile | Sotabase | Sotabase