Curriculum Vitae
A summary follows. The full document, formatted for submission, is the PDF.
01Research interests
Program analysis · Software reliability · Grammar-based fuzzing · Delta debugging & reduction · Compilers & DSLs · Static program reasoning
02Education
Sep 2022 – Dec 2026
B.Sc. (Hons., Four-Year with Research) in Computer Science
Ashoka University, Sonipat · Minor in Biology · expected Dec 2026
- CGPA 3.63 / 4.00
03Research experience
Nov 2023 – present
Visiting Research Student — University of Sydney
Advisor: Prof. Rahul Gopinath · remote
- Designed and built the experimental harness and full empirical evaluation of
drdd, a structure-agnostic drop-in replacement forddminthat preserves 1-minimality while deferring restarts to the single-element level; measured a 2–60× reduction in oracle calls across four input formats at matching reduction quality. First-author paper accepted at ISSRE 2026. - Built grammar-based fuzzers in C and compiler-style tooling that generates them from grammar specifications, iterating on profiling and low-level implementation design for performance.
- Current direction: inferring acceptance grammars from
ddminruns to generate minimal inputs.
Aug 2025 – May 2026
Undergraduate Thesis — HyDRA, Ashoka University
Advisor: Prof. Bhargab B. Bhattacharya
- Designed HyDRA, a programmable slug-flow microfluidic substrate with an SSA, integer-valued ISA over discrete fluid operations, plus its micro- and physical architecture.
- Specified a finite-state chip abstraction whose safety properties reduce to Boolean combinations of integer linear inequalities — decidable ahead of time in polynomial resources.
- Framed the result as a programmable, statically verifiable substrate; accepted at ISVLSI 2026.
May 2025 – present
Undergraduate Researcher, Food Computing — Mphasis AI & Applied Tech Lab
Advisor: Prof. Partha Pratim Das
- Designed a domain-specific language that models cooking procedures as action graphs, turning loose natural-language recipes into structured computational objects; published at MMFood '25.
04Systems & engineering
Oct 2023 – Jan 2024
Engineering Intern — Catalis Packaging Technologies
Vadodara, India
- Built a suite of interconnected Linux/systemd services on Raspberry Pi-class hardware — a USB-triggered automated workflow for industrial HMIs, telemetry over Modbus streamed to the cloud — owning end-to-end architecture and reliability.
05Publications
2025–26
3 papers
Dr. DD (ISSRE '26, accepted); HyDRA (ISVLSI '26, in press); Cooking-procedure ontology (MMFood '25, published). Full list on the Publications page.
06Awards
2026
Best Undergraduate Thesis
Department of Computer Science, Ashoka University
2022
Engineering International Scholar Award — University of Toronto
Entrance scholarship · CAD $140,000 · declined
07Teaching
May–Jun 2025
Teaching Assistant — Lodha Genius Program, Ashoka University
- Mentored five students one-on-one in data interpretation and simulation development for a course on computational modelling and biological-systems analysis.
- Delivered a lecture on version control and reproducible-research workflows.
08Technical skills
Programming
C · Python · JavaScript
Systems & tooling
Linux · systemd · Git · Make · Modbus · profiling & benchmarking · experimental harnesses
Methods & areas
Compilers & DSLs · program analysis · fuzzing · delta debugging & input reduction · empirical evaluation · finite-state modelling & static reasoning · scheduling & optimization · embedded & cyber-physical systems · machine learning
09Selected coursework
Computer science
Theory of Computation · Programming Languages and Translation · Computer Organization and Systems · Design and Analysis of Algorithms · Numerical Algorithms and Optimization · Information Security · Computer Networks · Probability and Statistics · Reinforcement Learning · Machine Learning
Biology (minor)
Physiology · Cell Biology · Chemical Basis of Life · Force and Motion in Biology (biomechanics)
10References
Available on request.
