Ian Gent

Last updated

Ian Philip Gent
NationalityBritish
Alma mater University of Cambridge, University of Warwick
Scientific career
Fields Computer science
Institutions University of St Andrews
Thesis Analytic proof systems for classical and modal logics of restricted quantification  (1992)
Doctoral advisor Tony Cohn
Website ipg.host.cs.st-andrews.ac.uk

Ian Gent is a British computer scientist working in the area of artificial intelligence and specialising in the area of constraint programming. He is a professor at the University of St Andrews. He (along with Toby Walsh) first wrote about the phase transition in many NP complete problems, in particular SAT. He was also one of the first researchers to investigate full generic methods to handle symmetry in constraint programming.[ citation needed ]

Gent founded recomputation.org, [1] to promote reproducible experiments in computer science. [2]

He was one of the founders of the csplib.org website, [3] and popularised the Petrie Multiplier.[ citation needed ]

In January 2013 Gent founded the blog Depressed Academics with Mikael Vejdemo-Johansson. [4]

Related Research Articles

<span class="mw-page-title-main">Computing</span> Activity involving calculations or computing machinery

Computing is any goal-oriented activity requiring, benefiting from, or creating computing machinery. It includes the study and experimentation of algorithmic processes, and development of both hardware and software. Computing has scientific, engineering, mathematical, technological and social aspects. Major computing disciplines include computer engineering, computer science, cybersecurity, data science, information systems, information technology and software engineering.

<span class="mw-page-title-main">Software</span> Non-tangible executable component of a computer

Software is a set of computer programs and associated documentation and data. This is in contrast to hardware, from which the system is built and which actually performs the work.

<span class="mw-page-title-main">Computer science</span> Study of computation

Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines to practical disciplines. Computer science is generally considered an academic discipline and distinct from computer programming which is considered to be a technical field.

<span class="mw-page-title-main">IIT Kanpur</span> Public engineering institution in Uttar Pradesh, India

Indian Institute of Technology Kanpur is a public institute of technology located in Kanpur, Uttar Pradesh, India. It was declared to be an Institute of National Importance by the Government of India under the Institutes of Technology Act.

Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline.

<span class="mw-page-title-main">Purdue University</span> American public university in West Lafayette, Indiana

Purdue University is a public land-grant research university in West Lafayette, Indiana, and the flagship campus of the Purdue University system. The university was founded in 1869 after Lafayette businessman John Purdue donated land and money to establish a college of science, technology, and agriculture in his name. The first classes were held on September 16, 1874, with six instructors and 39 students. It has been ranked as among the best public universities in the United States by major institutional rankings, and is renowned for its engineering program.

Software engineering is an engineering-style system of software development. A software engineer is a person who applies the principles of software engineering to design, develop, maintain, test, and evaluate computer software. The term programmer is sometimes used as a synonym, but may also lack connotations of engineering education or skills.

Operations research, often shortened to the initialism OR, is a discipline that deals with the development and application of analytical methods to improve decision-making. It is considered to be a subfield of mathematical sciences. The term management science is occasionally used as a synonym.

<span class="mw-page-title-main">Mathematical optimization</span> Study of mathematical algorithms for optimization problems

Mathematical optimization or mathematical programming is the selection of a best element, with regard to some criterion, from some set of available alternatives. It is generally divided into two subfields: discrete optimization and continuous optimization. Optimization problems of sorts arise in all quantitative disciplines from computer science and engineering to operations research and economics, and the development of solution methods has been of interest in mathematics for centuries.

Computational science, also known as scientific computing, technical computing or scientific computation (SC), is an area of science that uses advanced computing capabilities to understand and solve complex physical problems. This includes

In parallel computing, an embarrassingly parallel workload or problem is one where little or no effort is needed to separate the problem into a number of parallel tasks. This is often the case where there is little or no dependency or need for communication between those parallel tasks, or for results between them.

<span class="mw-page-title-main">Chennai Mathematical Institute</span> Research and education institute in Chennai, India

Chennai Mathematical Institute (CMI) is a higher education and research institute in Chennai, India. It was founded in 1989 by the SPIC Science Foundation, and offers undergraduate and postgraduate programmes in physics, mathematics and computer science. CMI is noted for its research in algebraic geometry, in particular in the area of moduli of bundles.

<span class="mw-page-title-main">Vidyasagar University</span> Public Research University in Paschim Medinipur, West Bengal

Vidyasagar University was established by an Act of the West Bengal legislature which was notified in the Calcutta Gazette on 24 June 1981. It is an affiliating university in Paschim Medinipur district of southern West Bengal, India. It offers courses at the undergraduate and post-graduate levels.

Kalyanmoy Deb is an Indian computer scientist. Deb is the Herman E. & Ruth J. Koenig Endowed Chair in Communication Systems in the Department of Electrical and Computing Engineering at Michigan State University. Deb is also a professor in the Department of Computer Science and Engineering and the Department of Mechanical Engineering at Michigan State University.

<span class="mw-page-title-main">Information and computer science</span>

Information and computer science (ICS) or computer and information science (CIS) is a field that emphasizes both computing and informatics, upholding the strong association between the fields of information sciences and computer sciences and treating computers as a tool rather than a field.

<span class="mw-page-title-main">Sudoku solving algorithms</span> Algorithms to complete a sudoku

A standard Sudoku contains 81 cells, in a 9×9 grid, and has 9 boxes, each box being the intersection of the first, middle, or last 3 rows, and the first, middle, or last 3 columns. Each cell may contain a number from one to nine, and each number can only occur once in each row, column, and box. A Sudoku starts with some cells containing numbers (clues), and the goal is to solve the remaining cells. Proper Sudokus have one solution. Players and investigators use a wide range of computer algorithms to solve Sudokus, study their properties, and make new puzzles, including Sudokus with interesting symmetries and other properties.

<span class="mw-page-title-main">Feasible region</span> Mathematical constraints that define ways of finding the best solution

In mathematical optimization, a feasible region, feasible set, search space, or solution space is the set of all possible points of an optimization problem that satisfy the problem's constraints, potentially including inequalities, equalities, and integer constraints. This is the initial set of candidate solutions to the problem, before the set of candidates has been narrowed down.

There are a number of competitions and prizes to promote research in artificial intelligence.

<span class="mw-page-title-main">Computer keyboard</span> Data input device

A computer keyboard is a peripheral input device modeled after the typewriter keyboard which uses an arrangement of buttons or keys to act as mechanical levers or electronic switches. Replacing early punched cards and paper tape technology, interaction via teleprinter-style keyboards have been the main input method for computers since the 1970s, supplemented by the computer mouse since the 1980s.

Daniel Mier Gusfield is an American computer scientist, Distinguished Professor of Computer Science at the University of California, Davis. Gusfield is known for his research in combinatorial optimization and computational biology.

References

  1. "Welcome". recomputation.org. Archived from the original on 13 January 2018.
  2. "Consolidating HPC's Gains". HPCwire. 13 August 2013.
  3. "CSPLib: A problem library for constraints". www.csplib.org.
  4. "Depressed Academics". Archived from the original on 16 May 2021.