CIRCA Report 2010


CIRCA students
Promotions and New Appointments
Research visits


Steve Linton
Ian Gent
Kevin Hammond
Sophie Huczynska
Roy Dyckhoff
Ian Miguel
James Mitchell
John J O’Connor
Martyn Quick
Colva Roney-Dougal
Nik Ruškuc
Andrew Mackenzie
Ulf Leonhardt
Max Neunhoffer
Tom Kelsey

Senior Research Fellows

Alexander Konovalov
Chris Jefferson

Research Fellows/Teaching Fellows

Peter Nightingale
Chris Brown
Vladimir Janic
Yann Peresse
Reimer Behrends


John McDermott
Angela Miguel

Honorary Research Staff

Edmund Robertson
Colin Campbell

CIRCA Students


Neil Moore (2007-)
Abram Connelly (2005-)
Jon Bagnall (2007-)
Vladimir Janic (2007-)
Victor Maltcev (2007-)
Arthur Geddes (2008-)
Jillian Ferguson (2008-)
Claire Pollard (2008-)
Lars Kotthoff (2008-)
Simon Craik (2008-)
Nina Menezes (2008-)
Markus Pfeiffer (2008-)
Nabilah Abu-Ghazalh (2009-)
Ozgur Akgun (2009-)

Promotions and New Appointments

Collin Bleak Colva Roney-Dougal Martyn Quick


Andrea Rendl
Andreas Distler
Hannah Coutts
Chun Xiong


Major New Grants in 2010:

  1. Automata, Languages, Decidability in Algebra EPSRC: Ruskuc N and Quick MR (2010-2013)


Complete List of Current CIRCA Grants

  1. HPC-GAP: High Performance Computational Algebra and Discrete Mathematics EPSRC: Linton SA, Gent IP and Hammond K. (2009-2013)
  2. A Constraint Solver Synthesiser EPSRC: Miguel IJ, Balasubramaniam D, Dent IP, Kelsey T and Linton SA (2009-2014)
  3. Automata, Languages, Decidability in Algebra EPSRC: Ruskuc N and Quick MR (2010-2013)
  4. EC: SCIEnce: Symbolic Computation Infrastructure for Europe. Linton, S. Hammond, K. (2006-2011)
  5. EPSRC: Multidisciplinary Critical Mass in Computational Algebra and Applications. Linton, SA, Gent, IP, Miguel, I, Ruskuc, N, Quick, M, Robertson, E, Mackenzie, A, Leonhardt, U. (2005-2010)
  6. Royal Society Dorothy Hodgkin Fellowship: Token Passing Networks and Pattern Classes of Permutations Huczynska, S. (2004-2010)
  7. EPSRC: Watched Literals and Learning for Constraint Programming. Gent, IP & Miguel, IJ (2007-2010)

Research Visits/Invited Talks

Ian Gent: “Monitor”, Aberdeen; York; Strathclyde
Ian Miguel: “Monitor”, Aberdeen; York; Glasgow
Tom Kelsey: York; University of Glasgow; Montevideo, Uruguay; University of Aberystwyth 
Pete Nightingale: “Monitor”, Aberdeen; York
James Mitchell: Wroclaw, Lisbon
Alexander Konovalov: University of Birmingham, University of Stuttgart, University of Kaiserslautern
Colva Roney-Dougal: Oberwolfach
Max Neunhoeffer: Allahabad, India
Lars: York, Dundee, Strathclyde
Chris: York, Dundee
Nik Ruskuc: Belfast, Lisbon, Reykjavik, Dartmouth College, Warwick, Lisbon


Frank Luebeck
Richard Parker
Sergei Shpectorov
James East (Sydney University)
Georges Gonthier
Thomas Breuer
Alexander Hulpke (Colorado State University)
Vince Vatter
Robert Brignall
Attila Egri-Nagy (Hertfordshire)
Zak Mesyan (Ben Gurion)
Michal Morayne
Peter Horn (University of Kassel)
Dmitriy Traytel
Andreas Distler
Ahmad Khalaf (University of Al-Baath, Syria)
Istvan Szollosi
Babes-Bolyai University
Cluj-Napoca, Romania
Manuel Messias de Jesus
Derek Holt
Andras Salamon

Conferences Organised

  1. Postgraduate Group Theory Conference 2010. 28th-30th June. St Andrews, UK.
  2. CP 2010 (16th International Conference on the Principles & Practice of Constraint Programming): 6th-10th September, 2010. St Andrews, UK.


  1. Abdollahi, A., Faghihi, A., Linton, S. A., & O’Brien, E. A. (2010). Finite 3-groups of class 3 whose elements commute with their automorphic images. Archiv der Mathematik, 95(1), 1-7.
  2. Akgun, O., Frisch, A.M., Hnich, B., Jefferson, C., Miguel, I. Conjure Revisited: Towards Automated Constraint Modelling. Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation (ModRef), 2010.
  3. Albert, M., Atkinson, M., & Linton, S. (2010). Permutations Generated by Stacks and Deques. ANNALS OF COMBINATORICS, 14(1), 316.
  4. Albert, M., Linton, S. A., & Ruskuc, N. (2010) On the permutational power of token passing networksPermutation Patterns 2007, LMS Lecture Notes, Cambridge University Press, 2010.
  5. Albert, M., Atkinson, M., Brignall, R., Ruskuc, N., Smith, R. & West, J. (2010) Growth rates for subclasses of Av(321) In Electronic Journal of Combinatorics. 17, 16 p.
  6. Araujo, J., von Bunau, P., Mitchell, J. D. & Neunhöffer, M. (2010) Computing automorphisms of semigroups. In Journal of Symbolic Computation. 45, p. 373-392. 20 p.
  7. Behrends, R., Konovalov, A., Linton, S., Lübeck, F., & Neunhöffer, M. (2010). Towards high-performance computational algebra with GAP. 58–61. Paper presented at Third international congress conference on Mathematical software (ICMS 2010), Kobe, Japan.
  8. Behrends, R., Konovalov, A., Linton, S., Lübeck, F., & Neunhöffer, M. (2010). Parallelising the computational algebra system GAP. 177–178. Paper presented at 4th International Workshop on Parallel and Symbolic Computation (PASCO 2010), Grenoble, France.
  9. Beratarbide, E. & Kelsey, T. W. (2010) eHealth Governance: A key factor for better health care Ethical Issues and Security Monitoring Trends in Global Healthcare: Technological Advancements. Brown, S. & Brown, M. (eds.). IGI Global
  10. Brown, C. M., Li, H. & Thompson, S.(2010) An Expression Processor: a Case Study in Refactoring Haskell Programs. 11th Symposium on Trends in Functional Programming, Oklahoma.
  11. Brown, C. M. & Thompson, S. (2010) Clone Detection and Elimination for Haskell. Partial Evaluation and Program Manipulation Conference, Madrid. p. 111-120.
  12. Brown, C. M. & Hammond, K. (2010) Ever Decreasing Circles: a Skeleton for Parallel Orbit Calculations in Eden11th Symposium on Trends in Functional Programming, Oklahoma.
  13. Cain, A. J., Oliver, G., Ruskuc, N. & Thomas, R. M. (Aug-2010) Automatic Presentations and Semigroup Constructions In THEORY OF COMPUTING SYSTEMS. 47, 2, p. 568-592. 25 p.
  14. Cohen, S. D. & Huczynska, S. (2010) The strong primitive normal basis theorem. In Acta Arithmetica. 143, 4, p. 299-332. 34 p.
  15. de Jesus, M. M., Maltcev, V., Mitchell, J. D. & Fernandes, V. H. (2010) Endomorphisms of the semigroup of order-preserving mappings. In SEMIGROUP FORUM. 81, p. 277-285. 9 p.
  16. Gent, I. P., Jefferson, C. A., Miguel, I. J., & Nightingale, P. W. (2010). Generating Special-purpose Stateless Propagators for Arbitrary Constraints. In Cohen, D. (Ed.), Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (pp. 206-220). (Lecture Notes in Computer Science). Springer.
  17. Gent, I. P., Jefferson, C. A., Kotthoff, L., Miguel, I. J., Moore, N. C. A., Nightingale, P. W., & Petrie, K. (2010). Learning When to Use Lazy Learning in Constraint Solving. In Proceedings of the 19th European Conference on Artificial Intelligence (pp. 873-878).
  18. I.P. Gent, I. Miguel, A. Rendl. Optimising Quantified Expressions in Constraint Models. Proceedings of the 9th International Workshop on Constraint Modelling and Reformulation (ModRef), 2010.
  19. Huczynska, S. & Brunk, F. (2010) Some Erdos-Ko-Rado theorems for injections. In European Journal of Combinatorics. 31, p. 839-860.
  20. Huczynska, S. (2010) Equidistant frequency permutation arrays and related constant composition codes. In DESIGNS CODES AND CRYPTOGRAPHY. 54, 2, p. 109-120. 12 p.
  21. Kelsey, T. & Wallace, W. H. B. (2010) Machine Science in Biomedicine: Practicalities, Pitfalls and Potentia.Proceedings of the First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10): Proc. KEDDH10. IEEE Computer Society Press p. 117-122. 6 p.
  22. Kelsey, T. W. (2010) The dynamics of human ovarian reserve. Proceedings of the International Society for Computational Biology, Latin America Conference
  23. Kelsey, T. W., Caserta, B., Castillo, L., Wallace, W. H. B. & Coppola, F. (2010) Proliferating Cell Nuclear Antigen (PCNA) allows the automatic identification of follicles in microscopic images of human ovarian tissueIn Journal of Pathology and Laboratory Medicine International. 2010, 2, p. 99-105.
  24. Konovalov, A., & Linton, S. (2010). Parallel computations in modular group algebras. 141–149. Paper presented at 4th International Workshop on Parallel and Symbolic Computation (PASCO 2010), Grenoble, France.
  25. Kotthoff, L., Miguel, I. J., & Nightingale, P. W. (2010). Ensemble Classification for Constraint Solver Configuration. In Cohen, D. (Ed.), Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming (pp. 321-329). (Lecture Notes in Computer Science). Springer.
  26. Linton, S., Hammond, K., Konovalov, A., Al Zain, A. D., Trinder, P., Horn, P., & Roozemond, D. (2010). Easy composition of symbolic computation software: a new lingua franca for symbolic computation. In Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation (pp. 339-346). (ISSAC ’10). ACM.
  27. Moore, N. C. A., Gent, I. P., & Miguel, I. J. (2010). Lazy Explanations for Constraint Propagators. In Carro, M., & Pena, R. (Eds.), Proceedings of the Twelfth International Symposium on Practical Aspects of Declarative Languages (pp. 217-233). (Lecture Notes in Computer Science). Springer.
  28. Quick, M. & Ruskuc, N. (2010) Growth of generating sets for direct powers of classical algebraic structures In Journal of the Australian Mathematical Society. 89, p. 105-126.
  29. Quick, M., Mitchell, J. D., Peresse, Y. H. & Morayne, M. (2010) Generating transformation semigroups using endomorphisms of preorders, graphs, and tolerances. In Annals of Pure and Applied Logic. 161, 12, p. 1471-1485.
  30. Roney-Dougal, C. M. & Holt, D. (2010) Constructing maximal subgroups of orthogonal groups. In The London Mathematical Society Journal of Computational Mathematics. 13, 31 p.
  31. Wallace, W. H. B. & Kelsey, T. W. (2010) Human Ovarian Reserve from Conception to the Menopause. In PLoS One. 5, 1 e8772, 5 p.


CIRCA Preprints

V A Bovdi, A B Konovalov and S Linton Torsion Units in Integral Group Rings of Conway Simple Groups
Thomas W Kelsey, Phoebe Wright, Scott M Nelson, Richard A Anderson and W Hamish B Wallace A validated model of serum anti-Müllerian hormone from conception to menopause reflects ovarian activity throughout life
T W Kelsey and W H B Wallace Machine Science in Biomedicine: Practicalities, Pitfalls and Potential
Alexander Konovalov Rewriting the check of 8-rewritability for A5
Ian P Gent, Ian Miguel and Neil C A Moore An Empirical Study of Learning and Forgetting Constraints 2010/7
Tom Kelsey and Lars Kotthoff The Exact Closest String Problem as a Constraint Satisfaction Problem
Thomas W. Kelsey, Benedicta Casterta, Luis Castillo, W. Hamish B. Wallace and Francisco Coppola GonzalvezProliferating Cell Nuclear Antigen (PCNA) Allows the Automatic Identification of Follicles in Microscopic Images of Human Ovarian Tissue
T W Kelsey The automatic identification of non-growing follicles in human ovaries
T W Kelsey and W H B Wallace The dynamics of human ovarian reserve
Peter Nightingale The Extended Global Cardinality Constraint: An Empirical Survey
Ian P. Gent, Lars Kotthoff, Ian Miguel, Neil C A Moore, Peter Nightingale and Karen Petrie  Learning When to Use Lazy Learning in Constraint Solving
Andrea Rendl, Ian Miguel and Ian P. Gent Optimising Quantified Expressions in the Automated Constraint Modelling Tool TAILOR