Ian Gent
   HOME

TheInfoList



OR:

Ian Gent is a British
computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...
working in the area of
artificial intelligence Artificial intelligence (AI) is the capability of computer, computational systems to perform tasks typically associated with human intelligence, such as learning, reasoning, problem-solving, perception, and decision-making. It is a field of re ...
and specialising in the area of
constraint programming Constraint programming (CP) is a paradigm for solving combinatorial problems that draws on a wide range of techniques from artificial intelligence, computer science, and operations research. In constraint programming, users declaratively state t ...
. He is a
professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...
at the
University of St Andrews The University of St Andrews (, ; abbreviated as St And in post-nominals) is a public university in St Andrews, Scotland. It is the List of oldest universities in continuous operation, oldest of the four ancient universities of Scotland and, f ...
. He (along with Toby Walsh) first wrote about the
phase transition In physics, chemistry, and other related fields like biology, a phase transition (or phase change) is the physical process of transition between one state of a medium and another. Commonly the term is used to refer to changes among the basic Sta ...
in many
NP complete In computational complexity theory, NP-complete problems are the hardest of the problems to which ''solutions'' can be verified ''quickly''. Somewhat more precisely, a problem is NP-complete when: # It is a decision problem, meaning that for any ...
problems, in particular
SAT The SAT ( ) is a standardized test widely used for college admissions in the United States. Since its debut in 1926, its name and Test score, scoring have changed several times. For much of its history, it was called the Scholastic Aptitude Test ...
. He was also one of the first researchers to investigate full generic methods to handle
symmetry Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is Invariant (mathematics), invariant und ...
in constraint programming. Gent founded recomputation.org, to promote
reproducible Reproducibility, closely related to replicability and repeatability, is a major principle underpinning the scientific method. For the findings of a study to be reproducible means that results obtained by an experiment or an observational study or ...
experiments in computer science. He was one of the founders of the csplib.org website, and popularised the
Petrie Multiplier The Petrie multiplier is a thought experiment or mathematical model invented by British computer scientist Karen Petrie, and first described by Ian Gent in 2013. The multiplier "shows that if the percentage of men and women in the room who make que ...
. In January 2013 Gent founded the blog Depressed Academics with Mikael Vejdemo-Johansson.


References


External links

* * Living people Academics of the University of St Andrews British computer scientists Year of birth missing (living people) {{UK-compu-bio-stub