Next-generation security through automated program verification.
Managing Partner
Inverted
Sourced leads, built web applications and websites, managed digital media presence for clients, managed a team of 14 consultants and engineers. Got acquired
MIT PRIMES Researcher
Massachusetts Institute of Technology
Conducted research in cryptography and machine learning. Wrote papers and presented them to peers.
Designed and benchmarked NPS models, beating state-of-the-art. Collaborated on a compiler library for
optimized fully homomorphically encrypted programs integrated with LLVM.