Eric McCarthy

Photo of Eric McCarthy


mccarthy@K.E, where K=kestrel and E=edu



My primary interest is formal verification of blockchain code, in the ACL2 Ethereum project.

I am also doing some formal verification as part of the DerivationMiner project.

For the DerivationMiner project I developed (in Python) the “big code” pipeline we use to process and run machine learning on a corpus of 23 TB. I saved Java bytecode and artifacts to a Titan graph database, and ran NMF for dimension reduction. I also developed our code similarity search tool. I would like to apply these “big code” tools to corpora of smart contract code.

My past work includes:

I received a degree in Mathematical Sciences from Stanford University in 1984.