Hello! Good to see you here
I am a 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 DEWCAD “Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition“.
Simultaneously, I am a Research Scientist at the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences as the Principal Investigator of my Austrian Science Fund (FWF) project P34501N “Partition Identities Through the Method of Weighted Words”.