Pure Mathematics proves theorems in a wide range of topics usually motivated and illustrated by problems in physics, engineering and computer science.

Topics can be categorised roughly as “algebra” and “analysis”. Algebra has a discrete feel to it (like constructing or breaking codes), whereas analysis has a continuous flavour (like studying properties of mechanical systems).

Members

• W/Professor Lyle Noakes   
  Applications of differential geometry in engineering, approximation theory, and computer vision.
• W/Professor Cheryl Praeger
  Theory for finite permutation groups, design and analysis of randomised algorithms for groups of matrices acting on finite vector spaces.
• Professor Cai Heng Li  
  Algebraic combinatorics (especially, group-actions on graphs, maps and polytopes).
• Professor Alice Niemeyer  
  Computational group theory: soluble groups, black box groups, matrix groups, designs.
• Professor Luchezar Stoyanov   
  Dynamical systems, inverse spectral problems, scattering theory.
• Adj. A/Professor Phillip Schultz 
  Abelian groups and modules, associative rings and algebras, endomorphism rings and automorphism groups, history of mathematics.
• Adj. A/Professor Alan Woods  
  Mathematical logic, especially limit laws and axiom systems of bounded arithmetic. Computational complexity theory, especially complexity of propositional proofs, formulas and circuits. Connections of number theory, combinatorics and algebra with logic and computational complexity.
• Res/Asst/Prof John Bamberg
  Finite geometry, group actions and algebraic combinatorics.
• Res/Asst/Prof Michael Giudici
  Permutation groups and their action on various combinatorial structures, s-arc transitive graphs, fixed point free elements of prime order and graph decompositions.
• Dr Alice Devillers
  Group theory, graph theory, combinatorics, geometry.
• Dr Tomasz Popiel
  Geometrical methods of interpolation in Riemannian manifolds and their engineering applications, estimation of proportions of elements in finite classical groups
• Dr Nandita Rath (Honorary)   
  Matrix transformations of sequence spaces, general topology, completions of filter spaces, convergence, actions of convergence groups, the category of G-spaces.
• Dr Pablo Spiga 
  Theory of finite groups and their permutation representations..
• Dr Sükrü Yalçinkaya
  Group theory, algorithms for groups