Nikhil Parasaram

Software Engineer, PhD at Uber

Amsterdam, North Holland, Netherlands
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Nikhil 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.
code8 years of coding experience
job5 years of employment as a software developer
bookBachelor's degree, Computer Science, Bachelor's degree, Computer Science at International Institute of Information Technology Hyderabad (IIITH)
bookUniversity College London
github-logo-circle

Github Skills (51)

objective-c10
javascript10
solidity10
classification10
testcase10
evm10
feature-flags10
java10
security10
clang-plugin10
deadcode10
bytecode10
ethereum10
blockchain10
scribble10

Programming languages (8)

TypeScriptC++RustLLVMJavaScriptHTMLJupyter NotebookPython

Github contributions (5)

github-logo-circle
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
bytecodeethereumevmsecuritysmart-contracts
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.
Request Free Trial