Bart Selman

Quality 0.50 · 4 views · Updated 2 months ago

American computer scientist

title: "Bart Selman" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["year-of-birth-missing-(living-people)", "living-people", "american-computer-scientists", "cornell-university-faculty", "fellows-of-the-association-for-the-advancement-of-artificial-intelligence", "american-artificial-intelligence-researchers", "fellows-of-the-association-for-computing-machinery", "fellows-of-the-american-association-for-the-advancement-of-science", "scientists-at-bell-labs", "dutch-computer-scientists", "delft-university-of-technology-alumni", "university-of-toronto-alumni", "sloan-research-fellows"] description: "American computer scientist" topic_path: "technology/computing" source: "https://en.wikipedia.org/wiki/Bart_Selman" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary American computer scientist ::

::data[format=table title="Infobox scientist"]

FieldValue
nameBart Selman
fieldArtificial intelligence
work_institution
education
doctoral_advisorHector Levesque
thesis_titleTractable Default Reasoning
thesis_year1991
thesis_urlhttps://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.71.9439&rep=rep1&type=pdf
awards{{Plainlist
::

| education = | doctoral_advisor = Hector Levesque | thesis_title = Tractable Default Reasoning | thesis_year = 1991 | thesis_url = https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.71.9439&rep=rep1&type=pdf | doctoral_students = | known_for = | author_abbreviation_bot = | author_abbreviation_zoo = | awards = {{Plainlist|

Education

Selman attended the Technical University of Delft, from where he received a master's degree in physics, graduating in 1983. He received his master's and PhD in computer science from the University of Toronto in 1985 and 1991 respectively.

Career

Selman has been working at AT&T Bell Laboratories before becoming professor of computer science at Cornell University.

His research areas 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 co-founded in 2016 an AI alignment research organization named Center for Human-Compatible AI (CHAI), and became one of its principal investigators. His role in CHAI and some of his recent lectures notably focus on the safety and ethical aspects of advanced artificial intelligence.

Honors and awards

Selman has received six Best Paper Awards for his work. He 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 AAAI, the AAAS, and the ACM.

Notable research papers

Selman is the author or co-author of more than 100 publications, including:

  • 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., 2005. 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), Feb., 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.
  • 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.
  • Generating hard satisfiability problems, Bart Selman, David G Mitchell, Hector J Levesque, Artificial intelligence, 1996
  • Noise strategies for improving local search, Bart Selman, Henry A Kautz, Bram Cohen, AAAI, 1994

References

References

  1. (15 May 2017). "Ada Lovelace lecture - Mobile phone in 2035 as powerful as our brains".
  2. (7 September 2016). "Selman and Halpern co-found new Center for Human-Compatible AI".
  3. (23 May 2016). "UC Berkeley — Center for Human-Compatible AI".
  4. (14 March 2019). "20-year AI research roadmap calls for lifetime assistants and national labs".
  5. "Past AAAI officers".
  6. "Bart Selman".
  7. "Faculty Profile - Bart Selman".
  8. (1 March 2007). "Graph Theory and Teatime". Scientific American.
  9. (2016-08-30). "How UC Berkeley's New Center Could Prevent an A.I. Apocalypse".
  10. (15 May 2017). "Mobile phone in 2035 as powerful as our brains".
  11. (2020). "Information Technology Innovation - Resurgence, Confluence, and Continuing Impact".
  12. (16 February 2017). "Research Collaboration".
  13. "Current AAAI Fellows".
  14. (28 October 2002). "Six Cornell professors named fellows of AAAS, world's largest science group {{!}} Cornell Chronicle".
  15. (2012). "Bart Selman".

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::

year-of-birth-missing-(living-people)living-peopleamerican-computer-scientistscornell-university-facultyfellows-of-the-association-for-the-advancement-of-artificial-intelligenceamerican-artificial-intelligence-researchersfellows-of-the-association-for-computing-machineryfellows-of-the-american-association-for-the-advancement-of-sciencescientists-at-bell-labsdutch-computer-scientistsdelft-university-of-technology-alumniuniversity-of-toronto-alumnisloan-research-fellows