About
Overview
I am a Master’s student in Cyber Security at the Indian Institute of Technology Delhi with a strong background in computer science and prior experience as a software engineer. My interests are not limited to a single specialization, and I am open to a wide range of computer science problems across software development, systems, and security.
I have industry experience building full-stack applications and am currently engaged in research focused on analyzing and securing smart contracts using automated techniques. I am interested in opportunities that combine strong engineering practices with research-oriented problem solving, both in industry and academic settings.
Education
| Degree | Institution | Duration | CGPA |
|---|---|---|---|
| M.Tech in Cyber Security | Indian Institute of Technology Delhi | 2024 – Present | 8.49 |
| B.E. in Computer Engineering | Thapar Institute of Engineering & Technology | 2017 – 2021 | 8.50 |
Experience
Cerify — Technical Lead
New Delhi | August 2025 – Present
- Leading development of an automated smart contract security analysis platform
- Implementing program analysis techniques for vulnerability detection
- Applying AI-based guidance to prioritize analysis paths and improve scalability
This work is closely aligned with my M.Tech thesis on neuro-symbolic analysis of smart contracts.
Piktorlabs — Software Engineer
Bengaluru | September 2021 – December 2022
- Built full-stack features using ReactJS, Node.js, and MongoDB
- Overhauled core user interfaces to improve performance, responsiveness, and usability
- Designed REST APIs for analytics and recommendations
- Improved code quality through testing, refactoring, and optimization
Research & Thesis
Neuro-Symbolic Analysis of Smart Contracts
M.Tech Thesis, Indian Institute of Technology Delhi
Supervisor: Prof. Subodh Vishnu Sharma
This thesis presents a framework for automated smart contract analysis that combines formal verification techniques with AI-based guidance to enable scalable and reliable vulnerability detection.
Teaching Assistant
| Semester | Course Name | Course Code | Language / Tools | Instructor(s) |
|---|---|---|---|---|
| 2024–25 Sem I | Data Structures and Algorithms | COL106 | Python | Parag Singla, Amit Kumar |
| 2024–25 Sem II | Data Structures and Algorithms | COL106 | Java | Srikanta Bedathur, Nikhil Balaji |
| 2025–26 Sem I | Introduction to Programming | COL1000 | Python | Priyanka Golia, Subodh Vishnu Sharma, Subodh Kumar, Sayan Ranu |
| 2025–26 Sem II | Blockchain | SIL763 | Solidity, C++ | Subodh Vishnu Sharma |
Responsibilities: Conducted lab sessions, assisted students with debugging and conceptual understanding, and supported evaluations.
Technical Skills
- Programming Languages: C, C++, Python, Java, JavaScript, Solidity
- Web & Backend: ReactJS, Node.js (Express, Fastify), HTML, CSS
- Databases: MongoDB, PostgreSQL, MySQL
- Development Tools: Git, GitHub Actions, Android Studio, Hardhat
- Security & Analysis: VAPT tools, Wireshark, Autopsy
- Operating Systems: Linux