About Me

I am a PhD student at ANU's School of Computing under the supervision of Dr. Nisansala Yatapanage. My research is in mathematical logic and theoretical computer science, with a focus on the verification of concurrent systems.

Before my PhD, I completed an MA in Logic and Philosophy of Science at the Munich Center for Mathematical Philosophy (LMU Munich) and a BSc (Hons) in Mathematics and Philosophy from New York University Abu Dhabi.

My Erdős number is 4.