CIRCA Report 2011

CIRCA students
Promotions and New Appointments
Research visits


Steve Linton
Ian Gent
Kevin Hammond
Sophie Huczynska
Ian Miguel
James Mitchell
Martyn Quick
Colva Roney-Dougal
Nik Ruškuc
Max Neunhoffer
Tom Kelsey
Collin Bleak

Senior Research Fellows

Alexander Konovalov
Chris Jefferson
Richard Parker

Research Fellows/Teaching Fellows

Peter Nightingale
Chris Brown
Vladimir Janic
Yann Peresse
Reimer Behrends
Tara Brough
Mikael Vejdemo-Johansson
Jeffrey Burdges


John McDermott
Angela Miguel

Honorary Research Staff

Edmund Robertson
Colin Campbell
John J O’Connor
Roy Dyckhoff

CIRCA Students


Vladimir Janjic (2007-)
Arthur Geddes (2008-)
Jillian McPhee (nee Ferguson) (2008-)
Lars Kotthoff (2008-)
Simon Craik (2008-)
Nina Menezes (2008-)
Markus Pfeiffer (2008-)
Nabilah Abu-Ghazalh (2009-)
Ozgur Akgun (2009-)
Jennifer Awang
Samuel Baynes
Ruth Hoffmann
Rachael Carey
Alexander McLeman
Anna Schroeder
Arunas Prokopas

Promotions and New Appointments

Collin Bleak
Richard Parker
Jeffrey Burdges


Neil Moore
Abram Connelly
Jon Bagnall
Victor Maltcev


Major New Grants in 2011:

  1. The Structure of Permutation Classes N Ruskuc: EPSRC EP/J006440/1, £66,715, 21/10/2011-20/10/2014.
  2. Solving Word Problems via Generalisations of Small Cancellation CM Roney-Dougal, M Neunhoeffer, SA Linton: EPSRC EP/I03582X/1, £444,508, 01/10/2011-30/09/2014.
  3. Representation Theory of Groups N Ruskuc: EPSRC EP/I032282/1, £97,568, 01/10/2011-31/03/2015.


Complete List of Current CIRCA Grants

  1. The Structure of Permutation Classes, N Ruskuc (2011-2014)
  2. Solving Word Problems via Generalisations of Small Cancellation, CM Roney-Dougal, M Neunhoeffer, SA Linton (2011-2014).
  3. Representation Theory of Groups, N Ruskuc, (2011-2015)
  4. HPC-GAP: High Performance Computational Algebra and Discrete Mathematics, EPSRC: Linton SA, Gent IP and Hammond K. (2009-2013)
  5. A Constraint Solver Synthesiser, EPSRC: Miguel IJ, Balasubramaniam D, Dent IP, Kelsey T and Linton SA (2009-2014)
  6. Automata, Languages, Decidability in Algebra, EPSRC: Ruskuc N and Quick MR (2010-2013)
  7. EC: SCIEnce: Symbolic Computation Infrastructure for Europe. Linton, S. Hammond, K. (2006-2011)

Research Visits/Invited Talks


Belgin Ozer (Gaziantep, Turkey)
Alan Frisch (York)
Sergey Kitaev
Vicky Gould
Jose Joaquin Bernal
Richard Parker
John Abbott (Genova)
Alexandre Borovik (Manchester)
Mickael Gastineau (Paris)
Derek Holt (Warwick)
Max Horn (Braunschweig)
Peter Horn (Kassel)
Richard Jones (Kent)
Alan Cain (Porto)
Rick Thomas (Leicester)
Andreas Distler(Lisbon)
Vince Vatter(Florida)
Nathan Corwin (University of Nebraska – Lincoln)
Darji (Louisville)
Akos Seress (University of Western Australia, Perth)
Zak Mesynan (University of Colorado)
Michal Morayne (Wroclaw)
Darji (Louisville)
Mohamed Barakat
Wolfgang Kimmerle (University of Stuttgart)


  1. Akgun, O., Miguel, I. J., Jefferson, C. A., Frisch, A. M. & Hnich, B. (2011)Extensible Automated Constraint Modelling Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence. AAAI Press p. 4-11.
  2. Albert, M., Linton, S. A., Ruskuc, N., Vatter, V. & Waton, S. (2011)On convex permutations In : Discrete Mathematics. 311, 8-9, p. 715-722.
  3. Atkinson, M., Ruskuc, N. & Smith, R. (2011)Substitution-closed pattern classes In : Journal of Combinatorial Theory, Series A. 118, 2, p. 317-340.
  4. Balasubramaniam, D., De Silva, L. R., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. (2011)Dominion: an architecture-driven approach to generating efficient constraint solvers Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture (WICSA). Los Alamiros, CA : IEEE Computer Society p. 228-231.
  5. Beratarbide, E. & Kelsey, T. (2011)eHealth Governance, A Key Factor for Better Health Care: Implementation of IT Governance to Ensure Better Care through Better eHealth Ethical Issues and Security Monitoring Trends in Global Healthcare: Technological Advancements. Brown, S. & Brown, M. (eds.). Medical Information Science Reference p. 72-92.
  6. Bovdi, V. A., Jespers, E. & Konovalov, A. (2011)Torsion units in integral group rings of Janko simple groups In : Mathematics of Computation. 80, 273, p. 593-615.
  7. Bovdi, V., Konovalov, A. & Linton, S. A. (2011)Torsion Units in Integral Group Rings of Conway Simple Groups In : International Journal of Algebra and Computation. 21, 4, p. 615.
  8. Brignall, R., Ruskuc, N. & Vatter, V. (2011)Simple extensions of combinatorial structures In : Mathematika. 57, 2, p. 193-214.
  9. Cain, A., Gray, R. & Ruskuc, N. (2011)Green index in semigroups: generators, presentations and automatic structures In : Submitted.
  10. Carvalho, C., Gray, R. & Ruskuc, N. (2011)Presentations of inverse semigroups, their kernels and extensions In : Journal of the Australian Mathematical Society. 90, 3, p. 289-316.
  11. Cichon, J., Mitchell, J. D., Morayne, M. & Peresse, Y. H. (2011)Relative ranks of Lipschitz mappings on countable discrete metric spaces In : Topology and Its Applications. 158, 3, p. 412-423.
  12. Coutts, H. J., Quick, M. & Roney-Dougal, C. M. (2011)The primitive permutation groups of degree less than 4096 In : Communications in Algebra. 39, 10, p. 3526-3546.
  13. Dolinka, I. & Ruskuc, N. (2011)Finite groups are big as semigroups In : Archiv der Mathematik. 97, 3, p. 209-217.
  14. Eick, B. & Konovalov, A. (2011)The modular isomorphism problem for the groups of order 512 Groups St. Andrews 2009 in Bath. Vol. 2. 388. Cambridge : Cambridge University Press p. 375-383. (London Math. Soc. Lecture Note Ser.)
  15. Gent, I., Jefferson, C., Kotthoff, L. & Miguel, I. Modelling Constraint Solver Architecture Design as a Constraint Problem, Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, York, UK, April 2011
  16. Gent, I.P., Jefferson, C.A., Miguel, I.J. & Nightingale, P. (2011). Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints. Proceedings of the 22nd International Conference on Artifical Intelligence (IJCAI 2011). p. 623-628.
  17. Gent, I.P. & Kotthoff, L. (2011)Reliability of Computational Experiments on Virtualised Hardware, AAAI workshop AI for Data Center Management and Cloud Computing, San Francisco, USA, August 2011
  18. Gray, R. & Ruskuc, N. (2011)Generators and relations for subsemigroups via boundaries in Cayley graphs In : Journal of Pure and Applied Algebra. 215, 11, p. 2761-2779.
  19. Gray, R. & Ruskuc, N. (2011)On residual finiteness of monoids, their Schützenberger groups and associated actions In : Submitted.
  20. Jefferson, C., Moncur, W. & Petrie, K. E. (2011)Combination: automated generation of puzzles with constraintsProceedings of the 2011 ACM Symposium on Applied Computing. 2011. p. 907-912.
  21. Jefferson, C. & Petrie, K. (2011)Automatic Generation of Constraints for Partial Symmetry Breaking Principles and Practice of Constraint Programming – CP 2011. Lee, J. (ed.). 6876. Springer Berlin / Heidelberg p. 729-743. (Lecture Notes in Computer Science).
  22. Kelsey, T. & Kotthoff, L. (2011)Exact Closest String as a Constraint Satisfaction Problem Proceedings of the International Conference on Computational Science, ICCS 2011 . 4. Procedia Computer Science p. 1062-1071.
  23. Kelsey, T., Wright, P., Nelson, S., Anderson, R. & Wallace, H. (2011). A Validated Model of Serum Anti-Müllerian Hormone from Conception to Menopause. In PLoS One 6, 7.
  24. Komendantsky, V., Konovalov, A. & Linton, S. (2011)View of Computer Algebra Data from Coq p. 74-89.Submitted.
  25. Komendantsky, V., Konovalov, A. & Linton, S. (2011)Interfacing Coq + SSReflect with GAP 14p paper Submitted.
  26. Kotthoff, L., Gent, I. & Miguel, I. (2011) A Preliminary Evaluation of Machine Learning in Algorithm Selection for Search Problems, Fourth Annual Symposium on Combinatorial Search, Barcelona, Spain, July 2011
  27. Linton, S.A., Hammond, K., Konovalov, A. & Brown, C.M. (2011). Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation. Journal of Symbolic Computation.
  28. Maltcev, V. & Ruskuc, N. (2011)On hopfian cofinite subsemigroups In : Submitted.
  29. McDougall-Bagnall, J. M. & Quick, M. (2011)Groups with the basis property In : Journal of Algebra. 346, 1, p. 332-339.
  30. Mitchell, J. D., Araújo, J. & Schneider, C. (2011)Groups that together with any transformation generate regular semigroups or idempotent generated semigroups Journal of Algebra : Elsevier, p. 93-106.
  31. Mitchell, J. D., Morayne, M. & Peresse, Y. H. (2011)Generating the infinite symmetric group using a closed subgroup and the least number of other elements In : Proceedings of the American Mathematical Society. 139, p. 401-405.
  32. Murray, S. H. & Roney-Dougal, C. M. (2011)Constructive homomorphisms for classical groups In : Journal of Symbolic Computation. 46, 4, p. 371-384.
  33. Nelson, S., Messow, M., McConnachie, A., Wallace, H., Kelsey, T., Fleming, R., Anderson, R. & Leader, B. (2011) External Validation of Nomogram for the Decline in Serum Anti-M¨u;llerian Hormone in Women: a Population Study of 15,834 Infertility Patients. In Reproductive BioMedicine Online 23, p.204-206.
  34. Neunhoeffer, M., Pfeiffer, M. & Ruskuc, N. (2011)Deciding Word Problems of Semigroups using Finite State Automata. Submitted.
  35. Nightingale, P. W. (2011)The Extended Global Cardinality Constraint: An Empirical Survey In : Artificial Intelligence. 175, 2, p. 586-614.
  36. Roney-Dougal, C. M., Robertson, E. F., Campbell, C. M., Quick, M., Smith, G. & Traustason, G. (2011)Groups St Andrews 2009 in Bath Cambridge University Press. 700 p. (London Mathematical Society Lecture Note Series).


CIRCA Preprints

Max Neunhöffer, Markus Pfeiffer and Nik Ruskuc, Deciding Word Problems of Semigroups Using Finite State Automata