Research
Quantum transport in nanoscale devices, photonics, and the slow project of putting physics on a formal footing.
My master's work at IIT Bombay, under Prof. Bhaskaran Muralidharan, was on the time-dependent Non-Equilibrium Green's Function (NEGF) formalism — modelling how charge moves through nanoscale structures when the picture is no longer in steady state. Earlier, in the AIMS lab, I worked on the optical response of high-contrast gratings in III-nitride heterostructures.
These days I contribute to PhysLean, an effort to formalize physics in the Lean 4 proof assistant — checking the derivations all the way down.
Publications
Design and analysis of electro-optic modulators based on high-contrast gratings in AlGaN/GaN heterostructures
Semiconductor Science and Technology · IOP Publishing · 2020
Modelled the reflectivity and electric-field profile of the gratings; the simulation code developed during the work is open-sourced.
Topics