Computer Poker Research

One of the programmers of Cepheus, the first computer program to solve a game of poker. This was the first time that any nontrivial game played by humans that included imperfect information had been solved, and the second solved game that included random chance (the first being hypergammon, a 3-checker version of backgammon). All other previous solved games have been deterministic perfect information games, such as checkers or Connect-Four. This effort resulted in a publication in Science.

One of the core programmers of Polaris, the first computer to defeat top professional poker players in a man-vs-machine competition, in 2008.