Eric McCarthy

Contact

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

Address/Phone/Fax

Bio

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.