Hello! Good to see you here.

I am a Postdoctoral Research Associate at the University of Bath Computer Science Department Mathematical Foundations of Computation research group under the mentorship of James H. Davenport and Russell Bradford, in their EPSRC project “Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition“.

Just a month ago, I was a Postdoctoral Research Associate at the  Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences under the supervision of Christoph Koutschan.

Education & Work Experience
‣ Awards & Acknowledgements
‣ Grants & Scholarships

Research
‣ Publications
‣ Software
‣ Talks & Conferences

Teaching
‣ Courses Taught
‣ Sample Teaching

Leisure
‣ Latest Posts
‣ Interviews