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


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