I am currently a Postdoctoral researcher in the School of Computing at National University of Singapore primarily working on Automated Program and Proof Repair. Prior to this, I was a Postdoctoral researcher in the School of Computer Science at Tel Aviv University, working on the Semantics of Concurrent Programs. I completed my PhD in Computer Science from TIFR Mumbai working broadly in the area of Formalised Mathematics, under the esteemed supervision of Prof. Raja Natarajan.