Ian Gent
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
|
Ian Philip Gent | |
|---|---|
| Nationality | British |
| 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 |
Ian Gent is a British
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,reproducible experiments in computer science.[2]
He was one of the founders of the csplib.org website,Petrie Multiplier.[citation needed]
In January 2013 Gent founded the blog Depressed Academics with Mikael Vejdemo-Johansson.[4]
References
- ^ "Welcome". recomputation.org. Archived from the original on 13 January 2018.
- ^ "Consolidating HPC's Gains". HPCwire. 13 August 2013.
- ^ "CSPLib: A problem library for constraints". www.csplib.org.
- ^ "Depressed Academics". Archived from the original on 16 May 2021.
External links
- Ian Gent publications indexed by Google Scholar
- Ian Gent at the Mathematics Genealogy Project
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
 | This article on a computer specialist of the United Kingdom is a stub. You can help Wikipedia by expanding it. |