Nikhil Parasaram
Software Engineer at Uber
Netherlands
Summary
🤩
Rockstar🎓
Top SchoolNikhil Parasaram is a software engineer with a PhD in Computer Science from UCL and eight years of experience building security and program-analysis tooling. His research on automated program repair—recognized with an ACM SIGSOFT Distinguished Paper Award—complements hands-on work developing Mythril at ConsenSys, a widely used smart-contract analysis tool with thousands of GitHub stars and hundreds of thousands of downloads. He has blended academic rigor and practical engineering through internships at Max Planck and industry roles including ConsenSys and now Uber, applying program analysis, fuzzing, symbolic execution, and ML to real-world security problems. Comfortable across research and production code, he brings deep expertise in automated debugging and smart-contract security and a track record of shipping tools that scale beyond the lab. An often-overlooked strength is his experience translating cutting-edge research into widely adopted open-source tooling.
8 years of coding experience
5 years of employment as a software developer
Bachelor's degree Computer Science, Bachelor's degree Computer Science at International Institute of Information Technology Hyderabad (IIITH)University College London
Github Skills (68)
contract10
security10
smart-contracts10
refactoring10
cpp10
quorum10
program-analysis10
hedera10
solidity10
bytecode10
symbolic-execution10
classification10
dapps-development10
archived10
evm10
Programming languages (7)
Github contributions (5)
norhh/mythril
Jun 2018 - Nov 2018
Security analysis tool for Ethereum smart contracts
Contributions:4 PRs, 97 pushes, 49 branches in 5 months
symbolic-executionsecurity-analysisethereumsecuritysolidity
ConsenSysDiligence/mythril
Jun 2018 - Jan 2023
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Contributions:103 releases, 93 reviews, 1610 commits in 4 years 7 months
ethereumprogram-analysissymbolic-executionevmblockchains
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.