Awards

Star TA Award, IIT Madras — 2025

Recipient of PMRF Scholarship  — 2022

Technical Skills

• Languages: Python, Solidity, C, C++, Java, C#, SQL

• Tools and Frameworks: Soot, Z3, Apron, JavaCC/JTB

• Other(s): Git, LaTeX, VSCode

Course Work

• Modern Compilers — Theory and Practice, Analysis of Parallel Programs

• Automated Program Verification

• Pattern Recognition and Machine Learning, Distributed Algorithms, Distributed Trust

References

Dr. Kartik Nagar (PhD Supervisor)

Assistant Professor, CSE Dept., Indian Institute of Technology Madras, Chennai, India. 

Email: nagark@cse.iitm.ac.in, kartik.n.nagar@gmail.com