Bart Selman

Who is Bart Selman?

Bart Selman is a professor of computer science at Cornell University. He previously was at AT&T Bell Laboratories. He has authored over 90 publications, which have appeared in venues spanning Nature, Science, Proceedings of the National Academy of Sciences and a variety of conferences and journals in AI and Computer Science. He has received five Best Paper Awards. He has also received the Cornell Stephen Miles Excellence in Teaching Award, the Cornell Outstanding Educator Award, an NSF Career Award, and an Alfred P. Sloan Research Fellowship. Currently, he is a Fellow of the American Association for Artificial Intelligence and a Fellow of the American Association for the Advancement of Science. He sits on the advisory board for the DARPA Grand Challenge Cornell Team.

His research interests 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.

Professor Selman teaches courses on Artificial Intelligence at Cornell University and advises postdoctoral fellows.