Algorithms and Complexity

I am a PhD student working under the supervision of Anuj Dawar in the area of Finite Model Theory.

I am a third-year PhD student in the Department of Computer Science and Technology at the University of Cambridge, where I am extremely fortunate to be under the supervision of Tom Gur. My research is in the area of theoretical computer science, and I am particularly interested in probabilisitic and zero-knowledge proof systems, coding theory, cryptography and complexity theory.

I am a postdoctoral research associate in the Logics and Algorithms group led by Anuj Dawar. My research interests revolve around logic and complexity. I especially enjoy to explore how methods from finite model theory can be used to prove lower bounds in other areas of theoretical computer science, such as proof complexity, algebraic complexity or the theory of constraint satisfaction problems. 

About Me

I am a Professor in the Department of Computer Science and Technology at the University of Cambridge.