I am an Indian-Scot working as a Software Engineer at Goldman Sachs, on the SecDb Architecture team. I recently graduated with a Masters in Computer Science from Trinity College at the University of Cambridge, where I specialised in verification and programming languages. When not coding or thinking about coding, I can be found reading fairy-tales, learning about philosophy, dancing to Hindi film songs or teaching a new generation of CompScis on the joys of PL research.