Department of Mathematics
University of Newcastle
Newcastle NE1 7RU
UK
+44 (191) 208 7236
Fax:
+44 (191) 208 8020
Email:
Sarah(DOT)Rees@ncl(DOT)ac(DOT)uk
Office hours for Newcastle students
I have office hours in term time for students in my modules,
when I am happy to see students without appointment.
Since my teaching is over for 201415, currently I see students by appointment.
Research Interests
I work mainly on geometrical, combinatorial and computational aspects of
group theory. In particular I am currently interested in
decision problems,
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.
Abstracts and electronic copies of more recent articles
My review of the film The Imitation Game, which appeared in the Newsletter of the Association for Women in Mathematics (AWM), March-April 2015, 17--19.
Mark Lawson, Lian O'Carroll and Sarah Rees,
David Rees 1918-2013 Semigroup Forum 88 (2014) 513-522.
Laura Ciobanu, Susan Hermiller, Derek Holt, and Sarah Rees,
Conjugacy languages in groups, to appear in Israel J. Math.
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
Derek F. Holt, Sarah E. Rees, Claas E Röver, and Richard M. Thomas,
Groups with context-free co-word problem,
Journal of the London Mathematical Society 71 (2005) 643-- 657.
Sarah Rees,
How hard is the word problem?,
in Proceedings of Conference for European Women in Mathematics, Varna, Bulgaria, September 2002.
quotpic,
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
ftp-archive.
as a joint package isom_quotpic.
automata,
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
Warwick mathematics
ftp-archive.
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
GAP system
Home page for the Magic
consortium of UK universities, of which Newcastle is a member, which uses
distance learning
techniques to supply lecture courses to educate postgraduate students in
mathematics and statistics.
Home page for the London Taught Course Centre (LTCC) , which provides lecture courses for postgraduate students from
a consortium of universities in an around London.