AIGIS - Algorithmic High-Frequency-Trading, strategy development, evaluation, and execution system. System has been used internally to develop successful ML-based trading strategies for crypto, stock, and energy markets. Professional project @ BitAssassin ARBI - Ultra-low latency arbitrage trading system primarily for decentralized cryptocurrency exchanges. Utilizes a novel differential graph search algorithm accelerated on FPGAs to identify opportunities before competitors. Professional project @ BitAssassin DARPA V-SPELLS - Novel firmware analysis, retrofitting, and verification system. I created the binary equivalence verification system and was heavily involved in the lifting and rewriting/patching portions. Professional project @ Georgia Institute of Technology VASE CACEE/S2E - Novel malware analysis system for industrial control system malware (primarily focusing on malware that targets electric grids, such as Industroyer). I designed and implemented the analysis system on top of S2E and greatly expanded the system's capabilities to be able to analyze live malware and ICS interactions. Professional project @ Georgia Institute of Technology SupplyDrop - Malware analysis system for identifying relations between malware supply-chain attacks in package managers (Python's Pypi, and Node's NPM). I researched, designed, implemented and maintained the system. Professional project @ Georgia Institute of Technology Dusa - Novel programming language design that aims to strike balance between safety, productivity and performance. Hobby project BinRipper - Binary symbolic analysis system that automates finding zero-day security vulnerabilities in applications. Hobby project BlockShark - Fully automated ETH smart contract auditing system that finds security holes and monitors asset theft. Hobby project Open-Source Contributions - Python (bugfixes), SaltStack (features & bugfixes) Hobby project