My main interests lie in Programming Languages, Verification and Formal Methods. Please see Research to know more! Also see Courses for an overview of courses and course projects. I am also interested in Algorithms and Probabilistic Systems.
I visited Uppsala University in Summer 2019 and was fortunate to be advised by Prof. Parosh Abdulla and Prof. Faouzi Atig. In Summer 2018, I interned at INRIA, Rennes under the guidance of Prof. Blaise Genest and Prof. Nathalie Bertrand.