Hey there! I'm Poojitha. My research interests sit at the intersection of software verification, formal methods, and quantitative finance. Outside of research, I dabble in music, painting, crafting, and dance... along with being a certified expert at wasting time. I love solving logical, open questions from the ground up.