Bart Selman is an Associate Professor of Computer Science at Cornell University. He previously was a principal scientist at AT&T Bell Laboratories. He holds a Ph.D. and M.Sc. in Computer Science from the University of Toronto, and a M.Sc. in Physics from Delft University of Technology. His research has covered many areas in artificial intelligence and computer science, including tractable inference, knowledge representation, search, constraint satisfaction, planning, scheduling, default reasoning, and natural language understanding. He has received four Best Paper Awards at the American and Canadian national artificial intelligence conferences, and at the International Conference on Knowledge Representation. He holds an NSF CAREER Award and is an Alfred P. Sloan Research Fellow. He received the Stephen '57 and Marilyn Miles Excellence in Teaching Award (2002), and a Cornell Outstanding Educator Award (2001). His current research interests include efficient reasoning procedures, stochastic search methods, theory approximation, knowledge compilation, planning, and the connections between operations research and artificial intelligence, and between computer science and physics.