Bart Selman

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Bart Selman
ResidenceUnited States
Alma materTechnical University of Delft
University of Toronto
Scientific career
FieldsArtificial intelligence
InstitutionsAT&T Bell Laboratories
Cornell University
ThesisTractable Default Reasoning (1991)
Doctoral advisorHector Levesque

Bart Selman is a Dutch-American professor of computer science at Cornell University.[1] He has previously worked at AT&T Bell Laboratories.[2] He attended Technical University of Delft, from where he received a master's degree in physics, graduating in 1983.

He received his masters and PhD in computer science from the University of Toronto in 1985 and 1991 respectively.[3]

He has authored over 90 publications, which have appeared in journals including Nature, Science, and Proceedings of the National Academy of Sciences, and has presented at several conferences in the fields of artificial intelligence and computer science.

Selman has received five Best Paper Awards for his work, including 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, the American Association for the Advancement of Science and the Association for Computing Machinery.[4][5][6] He sits on the advisory board for the DARPA Grand Challenge Cornell Team.

His research concepts 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 teaches courses on artificial intelligence at Cornell University and advises postdoctoral fellows.

Partial list of Selman's papers[edit]

  • 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.


  1. ^ "Ada Lovelace lecture - Mobile phone in 2035 as powerful as our brains". Leiden University. 15 May 2017.
  2. ^ Stix, Gary (1 March 2007). "Graph Theory and Teatime". Scientific American. pp. 37–40. doi:10.1038/scientificamerican0307-37.
  3. ^ "Faculty Profile - Bart Selman". Cornell Engineering.
  4. ^ "Current AAAI Fellows".
  5. ^ "Bart Selman".
  6. ^ Brand, David (28 October 2002). "Six Cornell professors named fellows of AAAS, world's largest science group | Cornell Chronicle".

External links[edit]