Department of Computer Science
Dr Ali Uncu
I work on developing and applying formal and human-verifiable symbolic computation algorithms to prove novel mathematical results. I am particularly interested in enumerative and algebraic combinatorics and number theory, especially from the problems arising from q-analogs and the theory of partitions. I am just as interested in the utilization of SAT/SMT (satisfiability and satisfiability modulo theories) methods and applied algebraic geometry to solve/simplify mathematical problems regardless of the source.
Research interests
University of Bath Research Portal:
Ali Uncu — the University of Bath’s research portal
Research interests:
Department of Mechanical Engineering
Research Interests:
Department of Architecture and Civil Engineering
Jun’s research concerns the hydrodynamic loadings on urban, coastal and offshore structures and the impact of extreme events on such structures.
Department for Health