conf.researchr.org / Harold Carr
Harold Carr

Registered user since Sun 3 Sep 2017

Name:Harold Carr
Bio:

http://haroldcarr.com/about/

Country:United States
Affiliation:Oracle Labs, USA
Personal website:http://haroldcarr.com/
Twitter:https://twitter.com/haroldcarr
GitHub:https://github.com/haroldcarr
Research interests:consensus algorithms and applications

Contributions

CPP 2021 Author of Formal Verification of Authenticated, Append-Only Skip Lists in Agda within the CPP 2021-track
TyDe 2018 Author of Authenticated Modular Maps in Haskell within the TyDe 2018-track