Experience
Education
Bio
I am Principal Investigator of the Constraint Solver Synthesiser (Dominion), and of the Working Together: Constraint Programming and Cloud Computing projects. I am supervising the PhD studies of Bilal Hussain, Arunas Prokopas, and James Wetter. I had the honour of supervising the PhD studies of Ozgur Akgun, Andy Grayland, Lars Kotthoff, and Andrea Rendl. I am a co-founder of the Minion Constraint Solver - fast, scalable constraint solving! See Minion and more at our constraint modelling and solving toolchain page. Research publications Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row Nightingale, P., Spracklen, P. & Miguel, I. J. Oct 2015 Principles and Practice of Constraint Programming: Proceedings of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015). Pesant, G. (ed.). Springer, Vol. 9255, p. 330-350 (Lecture Notes in Computer Science). Conference contribution Cloud-based e-Infrastructure for scheduling astronomical observations Wetter, J. P., Akgun, O., Barker, A. D., Dominik, M., Miguel, I. J. & Varghese, B. 31 Aug 2015 2015 IEEE 11th International Conference on e-Science (e-Science) (2015). IEEE Computer Society, p. 362-370 Conference contribution Cloud benchmarking for performance Varghese, B., Akgun, O., Miguel, I., Thai, L. & Barker, A. 15 Dec 2014 6th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2014). IEEE, p. 535-540 Conference contribution