Bart Selman

Bart Selman is an American professor of computer science at Cornell University. He used to be at AT&T Bell Laboratories. He has authored over 90 publications, which have appeared in Nature, Science, Proceedings of the National Academy of Sciences, and a variety of conferences and journals in artificial intelligence 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, a National Science Foundation Career Award, and an Alfred P. Sloan Research Fellowship. 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 (phase transition phenomena).

Selman teaches courses on artificial intelligence at Cornell University and advises postdoctoral fellows.

...
Wikipedia