// about me
I’m a security engineer at Trail of Bits, working on smart contract audits and security tooling. My path here runs through software engineering, blockchain research, and malware analysis.
Smart contract security audits and client engagements, alongside internal security tooling that supports the audit practice. Arrived as an intern onsite in Brooklyn, where I architected a general data flow engine for Slither and demonstrated it with a reentrancy detector, an interval analysis, and a rounding-issue detector.
Doctoral studies in Computer Science and Engineering, researching blockchain security and malware detection, alongside teaching C++ Programming and Information Security. Built a Python tool for Solidity range analysis and peer-reviewed for IEEE S&P and USENIX Security.
Built AutoTune, a Java Spring Boot and DynamoDB API with a React front end, provisioned on AWS with Terraform and deployed through Jenkins CI/CD. The summer prior, voice-recognition APIs for secure caller verification.
Undergraduate research and coursework through the Honors Tutorial College, with independent studies in blockchain and cryptocurrency technologies, computer security, and advanced problem solving.
Dynamic malware analysis light enough to run on a Raspberry Pi Zero. 96.1% classification accuracy, detecting malware 50× faster than traditional sandboxes without queuing delays. Selected to present at West Point.
Range analysis for Solidity, pairing Slither with Echidna to catch improper binary-expression usage. Benchmarked by reproducing a vulnerability previously reported in a Code4rena challenge.
A web platform for learning mathematical proofs, integrating LaTeX and Coq IDEs. Led as Scrum Master and full-stack developer through delivery.
Indoor navigation for students finding classrooms across complex campus buildings, with real-time turn-by-turn directions over building maps.
