Dhruv Nevatia
Scientific Assistant at ETH Zürich
Zurich, Zurich, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolDhruv Nevatia is a doctoral candidate and Scientific Assistant in the Information Security group at ETH Zürich with six years of research experience spanning formal methods, programming languages, and algebraic approaches to verification. He has held research roles at Microsoft, IRIF, IIT Bombay, Aix-Marseille University and IIT Goa, bringing cross-institutional experience in logic-driven security and formal verification. Comfortable moving between deep theory and applied security problems, he focuses on making formal techniques practical for real-world systems. Based in Zurich with a strong mathematical background from Chennai Mathematical Institute, he combines rigorous academic training with hands-on research engineering. A collaborative researcher, he often pursues interdisciplinary projects that bridge algebraic theory and information-security practice.
5 years of coding experience
Doctor of Philosophy - PhD, Doctor of Philosophy - PhD at ETH ZürichMaster's degree, Master's degree at Chennai Mathematical Institute
Marathi, Bengali, Hindi, English
Github Skills (17)
coyote10
testing10
concurrent9
dotnet9
fuzzing9
parse-tree7
bnf4
grammar3
parser3
sentence-generator3
rust2
parser-generator2
parse2
rust-lang1
parse-forest1
Programming languages (2)
Github contributions (4)
notDhruv/notDhruv.github.io
Jun 2020 - Jun 2020
Contributions:18 pushes, 1 branch in 6 days
microsoft/coyote
Jan 2022 - Feb 2022
Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Contributions:17 commits, 2 PRs, 28 pushes in 1 month
dotnetsoftware-reliabilitytestingfuzzingcoyote
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.