Ian Gent

Professor
School of Computer Science
University of St. Andrews
Jack Cole Building, North Haugh, St Andrews, Fife KY16 9SX
Scotland, UK

E-mail: Ian.Gent at st-andrews.ac.uk

Personal URL: http://ian.gent (really, that's my URL!)
School   URL: http://ipg.host.cs.st-andrews.ac.uk  

mastodon: @turingfan@mastodon.scot

Phone: +44 1334 46 3247 direct line  +44 1334 46 3253 (school office)

Wikipedia: Ian_Gent
ORCID ID: 0000-0002-5604-7006

I am a professor at St Andrews University. For my past, see my short CV.

Papers and Talks

The Computer Scientist and the Cleaner, talk given at the Women in Science Festival, Dundee, 2015.

My Google Scholar page.
My DBLP publications page.
Out of date list of publications and copies of papers

External Activities

Depressed Academics a blog for and by academics with depression, co-founded by me and Mikael Vejdemo-Johansson in 2013.

My personal blog, most noted for my blog post about the Petrie Multiplier. This last was invented by Karen Petrie but named by me.

Research Links

Recomputation.org, a website for the preservation of computational experiments, founded by me and Lars Kotthoff in 2013.

ConstraintModelling.org, home page for research group interested in Constraint Modelling. This is also home of the constraint solving and modelling tools:

Minion Constraint Solver. Minion: a constraint solver intended to be a fast and general purpose constraint solvers.
Conjure.
Savile Row.

Past Activities

I was one of the local organisers of CP 2010 in St Andrews, September 6-10, 2010..

I was Programme Chair of CP 2009, the 15th International Conference on Principles and Practices of Constraint Programming, Lisbon, September 20-25, 2009.

I organised the 2008 ACP Summer School on Constraint Programming. The topic is Modelling with Constraints: Theory and Practice.

Miscellaneous

When chairing timed talks, I use a countdown presentation in powerpoint. I find this very helpful as chair and to speakers, if pointed at them in slideshow mode. I got this from Igor Markov, who got it from somebody else, but unlike an urban legend the thing really exists.

Other Important Web Pages

Judith Underwood's PhD thesis was on extracting computational content from classical proofs. She is also my wife.This is me with her in late 1991 or early 1992.

Recreations

Cricinfo.. Buried deep at Cricinfo is an article I wrote many years ago.

Scotch Whisky tour maintained by John Butler at Edinburgh University.

I have composed four chess problems which have been published. Sometime I should put the other two on-line.

I note two very minor achievements on another page.

Ian Gent