[1] He is also co-founder and principal investigator[2] of the Center for Human-Compatible Artificial Intelligence (CHAI) at the University of California, Berkeley, led by Stuart J. Russell,[3] and co-chair of the Computing Community Consortium's 20-year roadmap for AI research.
[4] Selman attended the Technical University of Delft, from where he received a master's degree in physics, graduating in 1983.
[6] Selman has been working at AT&T Bell Laboratories before becoming professor of computer science at Cornell University.
[7] His research areas include tractable inference, knowledge representation, stochastic search methods, theory approximation, knowledge compilation, planning, default reasoning, satisfiability solvers like WalkSAT, and connections between computer science and statistical physics, namely phase transition phenomena.
[2] His role in CHAI and some of his recent lectures notably focus on the safety and ethical aspects of advanced artificial intelligence.