New York, New York, United States
4th-year student at Columbia University, majoring in Computer Science. Passionate about cryptography, philosophy, linguistics, and artificial intelligence.
Cryptography Research Group
Blockchain company securing top cryptocurrency protocol contracts with state-of-the-art formal verification and manual auditing. - Audited 5 different Ethereum projects involving protocols with over $4B in total value locked. - Collaborated with other security researchers to draft audit reports and present them to customers. - Constructed a proof of cryptographic security of a blockchain contract feature.
Venture capital firm that invests in early-stage technology startups with 200 exits to date. - Researched emerging artificial intelligence technologies such as agents and autopilots. - Presented on how AI will disrupt incumbent automation technologies such as RPA.
Sequoia-backed machine learning and AI integrity startup building a framework to validate complex corporate machine learning algorithms against bias, misuse, faulty inputs, etc. - Added tests manipulating inputs to the machine learning models to test their performance against novel and malformed inputs
An early stage text based video editing tool company leveraging machine learning and forced aligners to accurately transcribe and time speech in video. - Designed backend cloud architecture to break web service into microservices, enabling scaling. - Built microservice testing utility to confirm refactoring functionality. - Utilized Google Cloud, Twisted web framework, and other software development tools.