School of Mathematics, Statistics and Physics
University of Newcastle
Newcastle NE1 7RU
+44 (191) 208 7236
+44 (191) 208 8020
Office hours for Newcastle students
I have regular office hours in term time for students in my modules,
when I am happy to see students without appointment, in my office 3.07 (Herschel building).
If I cannot manage one of my office hours I will notify students with a notice on my door and via this webpage.
Students who cannot manage my office hours may e-mail me
But I am on sabbatical
during semester 1 2017,18, and so I shall not have regular office hours again until semester 2.
I work mainly on geometrical, combinatorial and computational aspects of
group theory. In particular I am currently interested in
links between group theory and formal language theory,
the theory of automatic groups and group combings,
the language theoretical complexity of the word problem,
the theoretical and practical development of algorithms in group theory.
Groups Languages and Automata, authors
Derek F. Holt, Sarah Rees, Claas E. Röver, was published by CUP in February 2017, as volume 88 of the London Mathematical Society student texts series.
We three authors are maintaining a list of errors and misprints in our book as we discover them; so please let one of us know (e.g. by e-mail) if you find any problems that are not in that list.
Michael Batty, Sam Braunstein, Andrew Duncan and Sarah Rees,
Quantum algorithms in group theory,
Computational and experimental group theory, 1--62, Contemp. Math., 349, Amer. Math. Soc., Providence, RI, 2004
an interactive graphics
package to compute and display quotients of a finitely present group,
and testisom, which attempts to test for isomorphism
between two finitely presented groups,
both developed jointly with Derek Holt, and
available from the Warwick mathematics
as a joint package isom_quotpic.
a suite of programs, developed with David Epstein
and Derek Holt, to constructively
verify that a finitely presented group is shortlex automatic. Now superceded
by Derek Holt's kbmag package, which is available from the
and contains my own code to test for automaticity with respect to
other word orders than shortlex.
matrix group algorithms developed jointly with
Derek Holt, Charles Leedham-Green and Eamonn O'Brien, and now part of
the matrix package within the
home page for the Magic
consortium of UK universities, of which Newcastle is a member, which uses
techniques to supply lecture courses to educate postgraduate students in
mathematics and statistics.