Harold Carr
Consulting Member Of Technical Staff at Oracle
Salt Lake City, Utah, United States
Summary
👤
Senior🎓
Top SchoolHarold Carr is a seasoned research engineer and architect with over 20 years building distributed systems, middleware, and programming language implementations, currently driving privacy-enhancing technologies at Oracle Labs. He pioneered the PEPT remoting system during his Ph.D. on Distributed C++, applied it to CORBA, SOAP and InfiniBand in large-scale products, and holds related patents and publications. At Sun and Oracle he led architectures for reliable messaging, identity, transactions and InfiniBand integration for WebLogic; earlier roles include language design (Lisp, Distributed C++) and circuit simulation. Equally at home in deep research and product engineering, he has recently focused on verified credentials, selective disclosure, zero-knowledge proofs and threshold proxy reencryption. Based in Salt Lake City, he blends rigorous academic pedigree with decades of pragmatic systems shipping experience, often surfacing novel cross-domain ideas from language and hardware work into cloud infrastructure.
20 years of coding experience
24 years of employment as a software developer
The University of Utah
Stackoverflow
1,575reputation
99kreached
11answers
23questions
Github Skills (196)
vim10
spacemacs10
rest-api10
code-generator10
melpa10
emacs-lsp10
api10
emacs10
rest10
functional-programming10
jackson9
swagger9
servant9
annotation-processor9
json-objects9
Programming languages (17)
Github contributions (5)
haroldcarr/emacs
Apr 2011 - Dec 2022
Contributions:182 commits, 160 pushes in 11 years 10 months
haroldcarr/learn-haskell-coq-ml-etc
Aug 2013 - Jan 2023
Contributions:1396 commits, 831 pushes in 9 years 6 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.