I’m a Full-Stack Web3 Developer and Security Researcher with 4+ years of experience in smart contract development, auditing, and formal verification. My focus spans DeFi, GameFi, and zk systems, emphasizing modular architecture, gas optimization, and formally proven correctness.

I work with Foundry, Huff, Yul, and Certora to build secure, production-ready smart contracts. I also explore AI, NLP, and computer vision, merging blockchain with machine learning to solve complex problems.

Solidity · Huff · Yul · Foundry · Hardhat · OpenZeppelin · Inline Assembly · EVM internals

Threat modeling · Fuzzing (stateful, invariant) · Calldata and storage inspection
PoC exploit writing · Opcode tracing · Gas profiling · Audit reporting

Certora Prover · Halmos · Invariant specification · Symbolic execution · Ghost variables · SMT Solvers (Z3) · Rule-based property testing

zkSync · EIP-4337 Account Abstraction · SNARKs · Chainlink · Infura · IPFS · Web3.js · Ethers.js

TensorFlow · PyTorch · HuggingFace · LangChain · Natural Language Processing (NLP) · Computer Vision · Transformers · CNN · LSTM

Node.js · JavaScript · TypeScript · Go · Python · REST APIs · GraphQL · WebSockets · Redis · SQL · DynamoDB

AWS (EC2, Lambda, Cognito) · Docker · GitHub Actions · CI/CD pipelines · Distributed Systems · P2P Networking

• ✅ Audited high-impact DeFi protocols and discovered critical vulnerabilities
• ⚒️ Built Huff and Yul contracts optimized for bytecode-level gas savings
• 🧪 Applied formal verification with Certora to prove critical system invariants
• 🔍 Conducted calldata analysis, slot tracing, and EVM-level debugging
• 📊 Delivered detailed audit reports with PoCs and risk mitigation steps

• 🛡 Security Reports Portfolio — Real audits, PoCs, and mitigation suggestions for DeFi protocols
• 🧠 Account Abstraction + zkSync — Modular EIP-4337 wallet with gasless zkSync integration
• 💸 DeFi Stablecoin Protocol — A collateral-backed stablecoin with oracle safeguards

• 🧠 Assembly, Formal Verification & EVM Opcodes – Cyfrin (2025)
• 🔧 Smart Contract DevOps – Cyfrin (2025)
• 🔐 Smart Contract Security & Auditing Program – Cyfrin (2025)
• 🧪 Advanced Foundry & Account Abstraction – Cyfrin (2024)
• ⛽ Advanced Solidity: Understanding & Optimizing Gas Costs – Udemy (2024)
• 🏦 Blockchain Technology Specialization – University at Buffalo (USA, Remote, 2023)
• 💸 DeFi Applications Specialization – Duke University (USA, Remote, 2023)

• 🎓 MIT Applied Data Science Program – 2023–2024
• 🎓 BSc in IT Engineering (AI) – AIU, 2017–2021