Ian Gent

Ian Philip Gent
Narodowość	brytyjski
Alma Mater	Uniwersytet Cambridge , Uniwersytet Warwick
Kariera naukowa
Pola	Informatyka
Instytucje	Uniwersytet St Andrews
Praca dyplomowa	Analityczne systemy dowodowe dla logiki klasycznej i modalnej ograniczonej kwantyfikacji (1992)
Doradca doktorski	Tony'ego Cohna
Strona internetowa	ipg .host .cs .st-andrews .ac .uk

Ian Gent jest brytyjskim informatykiem pracującym w obszarze sztucznej inteligencji i specjalizującym się w programowaniu z ograniczeniami . Jest profesorem na Uniwersytecie St Andrews . On (wraz z Tobym Walshem ) jako pierwszy napisał o przejściu fazowym w wielu problemach NP zupełnych , w szczególności w SAT . Był także jednym z pierwszych badaczy, którzy zbadali w pełni ogólne metody obsługi symetrii w programowaniu z ograniczeniami.

Gent założył recomputation.org, aby promować powtarzalne eksperymenty w informatyce.

Był jednym z założycieli serwisu csplib.org i spopularyzował Petrie Multiplier .

W styczniu 2013 Gent założył wraz z Mikaelem Vejdemo-Johanssonem blog Depressed Academics.

Linki zewnętrzne

• Iana Genta indeksowane przez Google Scholar
• Ian Gent w Mathematics Genealogy Project