The School of Mathematical Sciences at Queen Mary, University of London, has expertise in implementing software in a number of computer algebra systems and applies it principally to relativity, differential equations and group theory.

Prof. MacCallum was the UK coordinator for the EU CATHODE project and is the international distributor for SHEEP/Classi for relativity.

Dr. Wolf is the principal developer of CRACK for solving systems of differential equations.

Dr. Wright is a REDUCE developer also interested in user interfaces.

Prof. Leedham-Green and Dr. Soicher develop group theory package for GAP and MAGMA.

Prof. Ursula Martin has a strong background in symbolic computation and computational logic(CL), has published widely in both theoretical and practical matters, and has held a series of research grants from EPSRC, EEC, NAG Ltd, and Microsoft in the application of CL to pure and applied mathematics, and has acted as a consulatant for Microsoft Research, British Telecom and a number of smaller companies.

Dr. Hanne Gottliebsen is mainly interested in applying formal methods in the form of theorem proving to safety critical systems. She has worked on integration of computer algebra and theorem proving, and also on functional analysis within a theorem prover.

Dr Graham White is interested in Logic and semantics. He has written papers on topics of "Interpolation for McCain-Turner Causal Theories" and "Simulation, Ramification, and Linear Logic."

Dr Henri Huijberts at the engineering department is active in research of the fields (Controlled) synchronisation of complex dynamical systems, Observer-based synchronisation of discrete-time nonlinear systems, Control of complex (chaotic) dynamical systems and Control and dynamics of underactuated mechanical systems.