Abhinav Menon
PHD Student at Max Planck Institute for Intelligent Systems
Karnataka, India
Summary
🤩
Rockstar🎓
Top SchoolAbhinav Menon is a PhD student and interpretability researcher specializing in mechanistic interpretability, with five years of research experience spanning deep learning, programming languages, linguistics, and mathematics. He is based in Karnataka, India, and has held visiting research roles at Cambridge and Edinburgh, where he worked on formal languages, verified parsers in Lean4, and transformer analyses. His background includes machine translation and NLP research at IIIT Hyderabad and applied NLP internships at IIT Kharagpur, giving him practical experience implementing deep learning systems for reasoning tasks. Now at the Max Planck Institute for Intelligent Systems, he focuses on robust machine learning and probing the inner mechanisms of models—combining theoretical rigor with hands-on experimentation. An uncommon strength is his cross-disciplinary fluency: he brings formal methods and theorem-proving experience to bear on empirical interpretability problems.
5 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Robust Machine Learning, Doctor of Philosophy - PhD, Robust Machine Learning at University of TuebingenMaster's by Research, Computational Linguistics, Master's by Research, Computational Linguistics at International Institute of Information Technology Hyderabad (IIITH)
English, Hindi, Malayalam, Spanish, French
Github Skills (11)
compiler10
llvm10
toolchain10
ansi-c9
parser8
linguistics8
natural-language-processing5
nlp5
xv61
risc-v1
wordcloud1
Programming languages (5)
Github contributions (5)
Abhinav271828/monsoon21-AT
Oct 2021 - Dec 2021
Contributions:24 commits, 10 pushes, 1 branch in 2 months
Abhinav271828/monsoon22-POPL
Jul 2022 - Nov 2022
Contributions:22 commits, 20 pushes, 1 branch in 3 months
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.