About us

We study theoretical computer science, the branch of computer science that focuses on the abstract, mathematical nature of computation.

Our main interests lie in the general areas of automata theory, computational biology, computational complexity, computability and randomness, design and analysis of algorithms, unconventional models of computation. We are also interested in related areas, such as biology, combinatorics, logic, and theoretical physics.

Members also belong to the Centre for Discrete Mathematics and Theoretical Computer Science (CDMTCS), and we contribute to the CDMTCS report series. We have seminars throughout the year and visitors are welcome.

People

Academic Staff
Cristian S. Calude (professor) works in algorithmic information theory (theory and applications to logic and computation) and unconventional computing (quantum computing and physics of computation). Cris's publications.
Michael J. Dinneen (senior lecturer) works in the field of combinatorial algorithms, graph theory and network design. Interests in distributive programming, computational complexity, programming trends, computational biology and computer-assisted mathematics. He is actively involved in both the NZ and ACM programming contests and has coached several teams at the world finals. Michael's publications.
Sebastian Link (professor) is interestsed in XML constraints, complex-value databases, data dependencies and conceptual modelling.
Simone Linz (associate professor) is interestsed in mathematical and computational biology; in particular algorithmic and combinatorial problems arising in phylogenetics (evolutionary biology). Simone's publications.
Jiamou Liu (senior lecturer)
Rajko Nenadov (lecturer)
Andre Nies (professor) works in (1) Computability theory and (2) algebra and automatic structures. (1) In earlier papers he has investigated degree structures using model theoretic methods. In recent years he has studied the interplay of computability and randomness. (2) He applies logical methods especially to groups, and studies which structures can be described by automata. Andre's publications.
Ninh Pham (lecturer)
Miao Qiao (senior lecturer)
Marc Vinyals (lecturer)
David Welch (senior lecturer) interests in Bayesian computational methods, including MCMC and ABC statistical models and inference for epidemiology, epidemics on networks, and inference for coalescent-based population genetics.

PhD Students