CIRCA Report 2008

CIRCA students
Promotions and New Appointments
Research visits


Steve Linton
Colin M Campbell
Ian Gent
Kevin Hammond
Sophie Huczynska
Roy Dyckhoff
Ian Miguel
James Mitchell
John J O’Connor
Martyn Quick
Edmund F Robertson
Colva Roney-Dougal
Nik Ruškuc
Andrews Mackenzie
Ulf Leonhardt

Senior Research Fellows

Max Neunhoffer
Tom Kelsey

Research Fellows

Bob Gray
Alexander Konovalov
Peter Nightingale
Chun Xiong
Warwick Harvey
Jost Berthold


John McDermott
Angela Miguel

CIRCA Students


Neil Moore (2007-)
Fiona Brunk (2005-)
Yann Peresse (2005-)
Abram Connelly (2005-)
Andy Grayland (2006-)
Jon Bagnall (2007-)
Vladimir Janic (2007-)
Victor Maltcev (2007-)
Andreas Distler (2006-)
Hannah Coutts (2006-)
Andrea Rendl (2006-)
Yohei Negi (2007-)
Morteza Jafarpour (2003-)
Arthur Geddes (2008-)
Jillian Ferguson (2008-)
Claire Pollard (2008-)
Lars Kotthoff (2008-)
Simon Craik (2008-)
Nina Menezes (2008-)
Markus Pfeiffer (2008-)
Atika Madhi (2008-)
Nabilah Abu-Ghazalh (2009-)

Promotions and New Appointments

Bob Gray
Chun Xiong
Warwick Harvey
Jost Berthold


Alan Cain
Chris Pickard


Major New Grants in 2008:

  1. Finiteness Conditions and Index in Semigroups and Monoids. EPSRC PDRF, EP/E043194/1 ï½£203,056. An EPSRC post-doctoral fellowship, won by Dr Robert Gray, which will bring him back to CIRCA from February 2008.


Complete List of Current CIRCA Grants

  1. EC: SCIEnce: Symbolic Computation Infrastructure for Europe. Linton, S. Hammond, K. (2006-2011)
  2. 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)
  3. EPSRC/Royal Academy of Engineering: An Automated Constraint Modelling Assistant. Miguel, I. Research Fellowship. (2004-2009)
  4. Royal Society Dorothy Hodgkin Fellowship: Token Passing Networks and Pattern Classes of Permutations Huczynska, S. (2004-2008)
  5. EPSRC: Refinement-Driven Transformation for Effective Automated Constraint Modelling. Miguel, I. & Gent, IP. (2006-2009)
  6. EPSRC/Microsoft: CASE for New Academics Grant, Miguel, I. (2006-2009)
  7. EPSRC: Academic Fellowship. Mitchell, J. (2005-2010)
  8. Nuffield: Backtrack Search in Matrix Groups, Roney-Dougal, CM (2007-2008)
  9. EPSRC: Proof Theory and Constraint Satisfaction. Gent, IP. & Dykhoff, R. (2008)
  10. EPSRC: Watched Literals and Learning for Constraint Programming. Gent, IP & Miguel, IJ (2007-2010)

Research Visits

Colin Campbell: Galway; Tg Mures, Romania
Edmund Robertson: Tg Mures, Romania; York
Bob Gray: York, Lisbon, Tunisia, Manchester, University of Iceland, Vienna
Steve Linton: Otago, University of Washington, University of Victoria
Nik Ruskuc: Otago, Sydney
Alexander Konovalov: RISC, Linz
Tom Kelsey: Montevideo, Uruguay
James Mitchell: Toronto; York; Lisbon; Poznan, Poland; Leeds; Aachen
Colva Roney-Dougal: Ohio, Bucknell University, Harlaxton, QMUL, Warwick, Aachen
Ian Miguel: York
Max Neunhoeffer: Oxford, Ohio


Julian West, Victoria
Barbara Smith, Leeds
Stuart Chalmers, Aberdeen
Jim Caldwell, Wyoming
Juergen Mueller, Aachen
Olivier Brunat
George Havas, Queensland
Debbie Lockett, QMUL
Tom Philbin, University Erlangen-Nuremberg
Des FitzGerald, University of Tasmania
Michael Cuntz, Kaiserslautern
Alan Frisch, York
Rick Thomas, Leicester
Robert Brignall, Bristol
Josef Pohl, Wyoming
Catarina Carvalho, Durham
Dan Roozemond, Eindhoven
Michael Albert, Otago
Vitor Fernandes
Manuel Messias
Lizzie Kimber
Justin Pearson, Uppsala
Mark Kambites, Manchester
Viktor Bovdi, Hungary
Peter Cameron, QMUL
Derek Holt, Warwick
John Bamberg, Ghent
Jan De Beule, Ghent
Phillipe Cara, Brussels
Michel Lavrauw, Ghent
Graham Ellis, Galway
Karen Petrie
Chris Jefferson

Conferences Organised

CP Summer School – Modelling with Constraints: Theory and Practice, 29th June-4th July, 2008. University of St Andrews.


  1. A. Al Zain, J. Berthold, K. Hammond and P.W. Trinder Orchestrating Production Computer Algebra Components into Portable Parallel Programs To appear in Proc. Open Source Grid and Cluster Conference, May 2008.
  2. A. Al Zain, J. Berthold, P.W. Trinder, K. Hammond and R. Loogen Parallel Functional Middleware for Computational Algebra Systems. Intl. Symp. on Trends in Functional Programming (TFP 2008), The Netherlands, May 2008.
  3. A.D. Al Zain, P. W. Trinder, K. Hammond, A. Konovalov, S. Linton and J. Berthold Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System In Parallel and Distributed Processing with Applications 2008 (ISPA’08) – International Symposium on pp99-112
  4. Abdallah Al Zain, Phil Trinder, Greg Michaelson, Kavin Hammon, Steve Linton SCIEnce: Using High-Level Parallel Technology for Grid Enabled Symbolic Computation UK e-Science 2008 All Hands meeting, Edinburgh 8-10 September 2008
  5. Al Zain, A.D. Trinder, P.W. Hammond, K. Konovalov, A. Linton, S. Berthold, J. Parallelism without Pain: Orchestrating Computational Algebra Components into a High-Performance Parallel System International Symposium on Parallel and Distributed Processing with Applications, 2008. ISPA ’08. Sydney, NSW. pp99-112
  6. V. A. Bovdi, A. B. Konovalov and S. Linton Torsion Units in Integral Group Ring of the Mattieu Simple Group M22 London Mathematical Society Journal of Computation and Mathematics vol 11 2008 pp28-39
  7. Victor Bovdi and Alexander Konovalov Integral Group Ring of the Mathieu Simple Group M23Communications in Algebra, Volume 36, Issue 7, July 2008, pages 2670 – 2680.
  8. Victor Bovdi, Alexander Konovalov and Eduardo do N. Marcos Integral group ring of the Suzuki sporadic simple group Publ. Math. Debrecen 72/3-4 (2008), 487-503.
  9. R. Brignall, S. Huczynska and V. Vatter Simple permutations and algebraic generating functions Journal of Combinatorial Theory, Series A, 115 (2008), no.3, 423–441.
  10. R. Brignall, S. Huczynska and V. Vatter Decomposing simple permutations, with enumerative consequencesCombinatorica 28 (2008), no. 4, 385–400.
  11. R. Brignall, N. Ruskuc and V. Vatter Simple permutations: decidability and unavoidable structures Theoret. Comput. Sci. 391 (2008), 150-163.
  12. A.J. Cain, G. Oliver, N. Ruskuc and R.M. Thomas Automatic presentations for cancellative semigroups in Language and Automata Theory and Applications, Lecture Notes in Computer Science 5196, Springer, Berlin, 2008.
  13. A.J. Cain, N. Ruskuc and E.F. Robertson Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions J. Australian Math. Soc. 84 (2008), 39-61.
  14. Alan J. Cain, Edmund F. Robertson and Nik Ruskuc Cancellative and Malcev presentations for finite Rees index subsemigroups and extensions J. Aust. Math. Soc. 84 (2008), 39-61.
  15. Alexandru Cârstea, Georgiana Macariu, Dana Petcu and Alexander Konovalov Pattern Based Composition of Web Services for Symbolic Computations Lecture Notes in Computer Science, Volume 5101/2008 (Computational Science – ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part I), pages 126-135.
  16. A.Carstea, M.Frincu, A.Konovalov, G.Macariu, D.Petcu On Service-oriented Symbolic Computing Parallel Processing and Applied Mathematics, Proceedings of PPAM 2007 ( LNCS 4967, Springer, 2008, p.843-851.
  17. U.B. Darji and J.D. Mitchell Highly transitive subgroups of the symmetric group on the natural numbers Colloq. Math. 112 (2008) 163-173.
  18. L. Descalco, N. Ruskuc Properties of the subsemigroups of the bicyclic monoid Czech. Math. J. 58(133) (2008), 311-330.
  19. 2008; A Distler, T W Kelsey The Monoids of Order Eight and Nine Lecture Notes in Artificial Intelligence; S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk (ed); Springer-Verlag, Berlin; 5144:61-76
  20. M. Droste, R. Gray and J.K. Truss Construction of Some Uncountable 2-arc-transitive Bipartite Graphs, Order 25 (2008) 349-357.
  21. J. Farrell, R. S. Perry, A. Rost, J. F. Mercure, N. Kikugawa, S. A. Grigera & A. P. Mackenzie Effect of electron doping the metamagnet LaySr3 yRu2O7 Phys. Rev. B 78, 180409(R) (2008).
  22. Sebastian Freundt, Peter Horn, Alexander Konovalov, Steve Linton and Dan Roozemond Symbolic Computation Software Composability in Intelligent Computer Mathematics, Lecture Notes in Computer Science, Volume 5144, 2008, Springer Berlin, Heidelberg, p.285-295
  23. A.M. Frisch, I. Miguel (eds). Special Issue on Abstraction and Automation in Constraint Modelling. Constraints 13 (3), 2008.
  24. A.M. Frisch, W. Harvey, C. Jefferson, B. Martinez-Hernandez, I. Miguel ,I.Essence: A Constraint Language for Specifying Combinatorial Problems, Constraints 13(3), 2008.
  25. Ian P. Gent and Ian Miguel and Peter Nightingale Generalised Arc Consistency for the AllDifferent Constraint: An Empirical Survey Artificial Intelligence, Volume 172 number 18 pages 1973-2000.
  26. Ian P. Gent, Peter Nightingale, Andrew Rowley and Kostas Stergiou Solving Quantified Constraint Satisfaction Problems Artificial Intelligence, Volume 172 (2008) pages 738-771.
  27. I.P. Gent, I. Miguel, A. Rendl. Common Subexpression Elimination in Automated Constraint ModellingProceedings of the International Workshop on Modeling and Solving Problems with Constraints, 2008.
  28. R. Gray and J.D. Mitchell Largest Subsemigroups of the Full Transformation Semigroup, Discrete Math. 308 (2008), 4801-4810.
  29. R. Gray and N. Ruskuc Green Index and Finiteness Conditions for Semigroups J. Algebra 320 (2008), 3145-3164.
  30. R. Gray and J.K. Truss Construction of Some Countable One-arc Transitive Bipartite Graphs Discrete Math. 308 (2008), 6392-6405.
  31. A. Grayland , I. Miguel and C. M. Roney-Dougal. Confluence of reduction rules for lexicographic ordering constraints Eighth International Workshop on Symmetry and Constraint Satisfaction Problems, 2008.
  32. George Havas, Edmund F. Robertson and Dale C. Sutherland Behind and beyond a theorem on groups related to trivalent graphs J. Aust. Math. Soc. 85 (2008), 323-332.
  33. P. E. Holmes, S. A. Linton, E. A. O’Brien, A. J. E. Ryba and R. A. Wilson Constructive membership in black-box groups Journal of Group Theory (2008) 1-17, de Gruyter ed.
  34. S. Huczynska and N. Ruskuc Pattern classes of permutations via bijections between linearly ordered setsEuropean Journal of Combinatorics 29 (2008), no. 1, 118–139.
  35. V. Janjic and K. Hammond Prescient Scheduling of Parallel Functional Programs on the Grid Intl. Symp. on Trends in Functional Programming (TFP 2008), The Netherlands, May 2008.
  36. V. Janjic, K. Hammond and Y. Yang Using Application Information to Drive Adaptive Grid Middleware Scheduling Decisions Intl. Workshop. on Middleware-Application Interaction (MAI 2008), Norway, June 2008.
  37. U. Leonhardt and T. Tyc, Superantenna made of transformation media New J. Phys. 10, 115026 (2008).
  38. U. Leonhardt and D. R. Smith Focus on Cloaking and Transformation Optics Editorial, New J. Phys. 10, 115019 (2008).
  39. M Livie, S Brett, T W Kelsey, K Whalley, R Hume, A Burchell, M Rajkhowa A report on a two year experience in the recruitment of embryo donors for human stem cell derivation Human Reproduction; Oxford University Press, Oxford, UK; 23(1):166-167, 2008.
  40. H.-W. Loidl, P.W. Trinder, Hammond, A. Al Zain and C. Baker-Finch Semi-Explicit Parallel Programming in a Purely Functional Style: GpH Chapter in Process Algebra for Parallel and Distributed Processing, Alexander M, Gardner W (Eds), Chapman Hall (2008).
  41. Max Neunhoeffer and Sarah Scherotzke Formulas for primitive Idempotents in Frobenius Algebras and an Application to Decomposition Maps Representation Theory 12 (2008), p. 170-185.
  42. Max Neunhoeffer and Cheryl E. Praeger Computing Minimal Polynomials of Matrices LMS Journal of Computation and Mathematics. 11 (2008), p. 252-279; 2008.
  43. T. Ochiai, U. Leonhardt, and J. C. Nacher A novel design of dielectric perfect invisibility devices J. Math. Phys. 49, 032903 (2008).
  44. T. G. Philbin and U. Leonhardt Alternative calculation of the Casimir forces between birefringent plates Phys. Rev. A 78, 042107 (2008).
  45. T. G. Philbin, C. Kuklewicz, S. Robertson, S. Hill, F. Konig, and U. Leonhardt Fiber-Optical Analog of the Event Horizon Science 319, 1367-1370 (2008)
  46. M Rajkowa, S Brett, T W Kelsey, C Lipina, L Logie, D J Cuthbertson, J Petrie, C Sutherland Altered Extracellular Regulated Kinase Signaling in skeletal muscle in women with Polycystic Ovary Syndrome Human Reproduction; Oxford University Press, Oxford, UK; 23(1), 2008:181-182
  47. G. Rousseaux, C. Mathis, P. Maissa, T. G. Philbin, and U. Leonhardt Observation of negative-frequency waves in a water tank: a classical analogue to the Hawking effect? New J. Phys. 10, 053015 (2008).
  48. N. Ru, R. A. Borzi, A. Rost, A. P. Mackenzie, J. Laverock, S. B. Dugdale, & I. R. Fisher De Haas van Alphen oscillations in the charge-density wave compound lanthanum tritelluride (LaTe3) Phys. Rev. B 78 045123 (2008).
  49. A. Tamai, M.P. Allan, J.F. Mercure, W. Meevasana, R. Dunkel, D.H. Lu, R.S. Perry, A.P. Mackenzie, D.J. Singh, Z.-X. Shen, and F. Baumberger Fermi surface and van Hove singularities in the itinerant metamagnet Sr3Ru2O7Phys. Rev. Lett. 101, 026407 (2008).
  50. T. Tyc and U. Leonhardt Transmutation of Singularities in Optical Instruments New J. Phys. 10, 115038 (2008).
  51. B. Vignolle, A. Carrington, R. A. Cooper, M. M. J. French, A. P. Mackenzie, C. Jaudet, D. Vignolles, Cyril Proust & N. E. Hussey Quantum oscillations in an overdoped high temperature superconductor Nature 455, 952 (2008).



C. M. Roney-Dougal Chaos, chance and money Plus magazine (

CIRCA Preprints

Andy Grayland, Chris Jefferson, Ian Miguel and Colva Roney-DougalMinimal Ordering Constraints for some Families of Variable Symmetries
Neil Moore and Patrick Prosser The Ultrametric Constraint and its Application to Phylogenetics
Max Neunhoeffer and Cheryl E Praeger Computing Minimal Polynomials of Matrices
George Havas, Edmund F Robertson and Dale C Sutherland Behind and Beyond a Theorem on Groups Related to Trivalent Graphs
Andreas Distler and Tom Kelsey The Monoids of Order Eight and Nine
Ian P Gent, Ian Miguel and Peter Nightingale The AllDifferent Constraint: Exploiting Exploiting Strongly-Connected Components of Other Efficiency Measures
Peter Nightingale Non-binary Quantified CSP: Algorithms and Modelling
Steve Linton and John Bamberg Some problems in Finite Geometry where Computer Investigations are Important
Andreas Distler and Tom Kelsey The Monoids of Orders Eight, Nine and Ten
Ian P Gent, Ian Miguel and Peter Nightingale Generalised Arc Consistency for the AllDifferent Constraint: An Empirical Survey
S. Brett, N. Bee, W.H.B. Wallace, M. Rajkhowa and T.W. Kelsey Individual Ovarian Volumes Obtained from 2D and 3D Ultrasounds Lack Precision
M. Livie, S. Brett, T. Kelsey, K. Whalley, R. Hume, A. Burchell and M. Rajkhowa A Report on a Two Year Experience in the Recruitment of Embryo Donors for Human Stem Cell Derivation
M. Rajkhowa, S. Brett, T. Kelsey, C. Lipina, L. Logie, D.J. Cuthbertson, J. Petrie and C. Sutherland Altered Extracellular Regulated Kinase Signaling in Skeletal Muscle in Women with Polycystic Ovary Syndrome
Andrea Rendl, Ian P Gent and Ian Miguel Eliminating Common SUbexpressions During Flattening