Ali Uncu

Ali Uncu is a Senior Lecturer in the Department of Computer Science at the University of Bath. His research focuses on symbolic computation, algebraic combinatorics, and q-series applications. He has contributed to areas such as quantifier elimination, partition theory, and computational mathematics. His work often bridges theoretical mathematics and algorithmic solutions, particularly in automated reasoning and mathematical software development.

Uncu's research interests include the study of generating functions, combinatorial identities, and the application of computational methods to solve problems in algebra and number theory. He has explored topics like unimodality of Gaussian polynomials, cylindric partitions, and Rogers-Ramanujan-type identities. His contributions also involve developing tools like the qFunctions Mathematica package for q-series analysis.

Recent publications highlight his work on hybrid quantifier elimination methods, factorial basis approaches for q-series, and advancing the DEWCAD project to improve cylindrical algebraic decomposition algorithms. His research trends emphasize combining algorithmic innovation with deep mathematical insights to address complex theoretical problems.

No scientific awards or grants are explicitly mentioned in the provided texts. His advising and collaboration activities are not detailed here, though his work often involves interdisciplinary collaborations, as seen in co-authored papers with experts in symbolic computation and combinatorics.