Bart Selman is a Dutch-American professor of computer science at Cornell University. He is also co-founder and principal investigator of the Center for Human-Compatible Artificial Intelligence (CHAI) at the University of California, Berkeley, led by Stuart J. Russell, and co-chair of the Computing Community Consortium's 20-year roadmap for AI research.

Education

Selman attended the Technical University of Delft, from where he received a master's degree in physics, graduating in 1983. He received his master's and PhD in computer science from the University of Toronto in 1985 and 1991 respectively.

Career

Selman has been working at AT&T Bell Laboratories before becoming professor of computer science at Cornell University. 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. Selman co-founded in 2016 an AI alignment research organization named Center for Human-Compatible AI (CHAI), and became one of its principal investigators. His role in CHAI and some of his recent lectures notably focus on the safety and ethical aspects of advanced artificial intelligence.

Honors and awards

Selman has received six Best Paper Awards for his work. He also received the Cornell Stephen Miles Excellence in Teaching Award, the Cornell Outstanding Educator Award, a National Science Foundation Career Award, and an Alfred P. Sloan Research Fellowship. He is a Fellow of the AAAI, the AAAS, and the ACM.

Notable research papers

Selman is the author or co-author of more than 100 publications, including: