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
Department of Economics
Ron’s research is in algorithmic game theory and internet economics