Eric McCarthy


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



My primary interest is formal verification of blockchain code in ACL2, as part of the DerivationMiner project.

For this project I also developed (in Python) the “big code“ pipeline we use to process and run machine learning on a corpus of 23 TB. I save Java bytecode and artifacts to a Titan graph database, and run NMF for dimension reduction. I also developed our code similarity search tool.

My past work includes:

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