Bart Selman is a professor of computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 at Cornell University

Cornell University

Cornell University is an Ivy League university located in Ithaca, New York, United States. It is a private land-grant university, receiving annual funding from the State of New York for certain educational missions...

. He previously was at AT&T Bell Laboratories. He has (co-)authored over 90 publications, which have appeared in venues spanning Nature

Nature (journal)

Nature, first published on 4 November 1869, is ranked the world's most cited interdisciplinary scientific journal by the Science Edition of the 2010 Journal Citation Reports...

, Science

Science (journal)

Science is the academic journal of the American Association for the Advancement of Science and is one of the world's top scientific journals....

, Proceedings of the National Academy of Sciences

Proceedings of the National Academy of Sciences

The Proceedings of the National Academy of Sciences of the United States of America, usually referred to as PNAS, is the official journal of the United States National Academy of Sciences...

 and a variety of conferences and journals in AI

Ai

AI, A.I., Ai, or ai may refer to:- Computers :* Artificial intelligence, a branch of computer science* Ad impression, in online advertising* .ai, the ISO Internet 2-letter country code for Anguilla...

 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

National Science Foundation

The National Science Foundation is a United States government agency that supports fundamental research and education in all the non-medical fields of science and engineering. Its medical counterpart is the National Institutes of Health...

 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.

His research interests include tractable inference, knowledge representation

Knowledge representation

Knowledge representation is an area of artificial intelligence research aimed at representing knowledge in symbols to facilitate inferencing from those knowledge elements, creating new elements of knowledge...

, stochastic search methods, theory approximation, knowledge compilation

Knowledge compilation

Knowledge compilation is a family of approaches for addressing the intractability ofa number of artificial intelligence problems.A propositional model is compiled in an off-line phase in order to support some queries in polytime...

, planning, default reasoning, and connections between computer science and statistical physics

Statistical physics

Statistical physics is the branch of physics that uses methods of probability theory and statistics, and particularly the mathematical tools for dealing with large populations and approximations, in solving physical problems. It can describe a wide variety of fields with an inherently stochastic...

 (phase transition

Phase transition

A phase transition is the transformation of a thermodynamic system from one phase or state of matter to another.A phase of a thermodynamic system and the states of matter have uniform physical properties....

phenomena).
He sits on the advisory board for the Darpa Grand Challenge Cornell Team.

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

External links

• Selman's website
• Current research projects

Partial list of Bart Selman's papers

• Statistical Regimes Across Constrainedness Regions, Carla P. Gomes, Cesar Fernandez, Bart Selman, and Christian Bessiere. Proc. 10th Intl. Conf. on Principles and Practice of Constraint Programming (CP-04), Toronto, Ont., 2004. Distinguished Paper Award.
• Towards Efficient Sampling: Exploiting Random Walk Strategies, Wei Wei, Jordan Erenrich, and Bart Selman. Proc. AAAI-04. San Jose, CA, 2004.
• Tracking evolving communities in large linked networks, John Hopcroft, Brian Kulis, Omar Khan, and Bart Selman. Proc. Natl. Acad. of Sci. (PNAS), Febr., 2004.
• Natural communities in large linked networks, John Hopcroft, Brian Kulis, Omar Khan, and Bart Selman. Proc. KDD, August, 2003.
• Backdoors To Typical Case Complexity, Ryan Williams, Carla Gomes, and Bart Selman. Proc. IJCAI-03 Acapulco, Mexico, 2003.
• Communication and computation in distributed CSP algorithms, Cesar Fernandez, Ramon Bejar, Bhaskar Krishnamachari, Carla Gomes, and Bart Selman. In Distributed Sensor Networks, A Multiagent Perspective. V. Lesser, C.L. Ortiz, Jr., and M. Tambe (Eds.) Kluwer Academic Publishers, 2003.
• A principled study of the design tradeoffs for autonomous trading agents, Ioannis A. Vetsikas and Bart Selman. Second International Joint Conference on Autonomous Agents and Multi-Agent Systems, Melbourne, 2003. Describes Whitebear trading agent, winner of the Trading Agent competition 2002 (TAC-02).
• Satisfied with Physics, Gomes, Carla and Selman, Bart. Science, Vol. 297, Aug. 2, 2002, 784—785. (Perspectives article.) Accompanying Mezard, Parisi, and Zecchina.
• Accelerating Random Walks, Wei, Wei and Selman, Bart. Proceedings of 8th Intl. Conference on the Principles and Practice of Constraint Programming (CP-2002), 2002.
• Dynamic Restart Policies, Kautz, Henry, Horvitz, Eric, Ruan, Yongshao, Gomes, Carla, and Selman, Bart. Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI-02) Edmonton, Alberta, Canada, 2002, 674—682.