Jump to content

Bart Selman: Difference between revisions

From Wikipedia, the free encyclopedia
Browse history interactively
← Previous editNext edit →
Content deleted Content added
VisualWikitext
m Fix DFS
(27 intermediate revisions by 19 users not shown)
Line 1: Line 1:
{{short description|American computer scientist}}
{{coi|date=November 2017}}{{Tone|date=November 2017}}{{Infobox scientist
{{Infobox scientist
| name = Bart Selman
| name = Bart Selman
| image =
| image =
| image_size =
| image_size =
| caption =
| caption =
| birth_date =
| birth_date =
Line 9: Line 10:
| death_place =
| death_place =
| citizenship =
| citizenship =
| residence = [[United States]]
| nationality =
| nationality =
| ethnicity =
| field = [[Artificial intelligence]]
| field = [[Artificial intelligence]]
| work_institution = [[AT&T Bell Laboratories]]<br>[[Cornell University]]
| work_institution = {{ubl|[[AT&T Bell Laboratories]]|[[Cornell University]]}}
| alma_mater = [[Technical University of Delft]]<br>[[University of Toronto]]
| education = {{ubl|[[Technical University of Delft]]|[[University of Toronto]]}}
|doctoral_advisor = [[Hector Levesque]]
| doctoral_advisor = [[Hector Levesque]]
|thesis_title = Tractable Default Reasoning
| thesis_title = Tractable Default Reasoning
|thesis_year = 1991
| thesis_year = 1991
|thesis_url =
| thesis_url = https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.71.9439&rep=rep1&type=pdf
|doctoral_students =
| doctoral_students =
| known_for =
| known_for =
| author_abbreviation_bot =
| author_abbreviation_bot =
| author_abbreviation_zoo =
| author_abbreviation_zoo =
| awards = {{Plainlist|
| awards = {{Plainlist|
*[[Sloan Research Fellowship]] <small>(1999)</small>
*[[Sloan Research Fellowship]] (1999)
* Fellow, [[Association for the Advancement of Artificial Intelligence]] <small>(2001)</small>
* Fellow, [[Association for the Advancement of Artificial Intelligence]] (2001)
* Fellow, [[American Association for the Advancement of Science]] <small>(2003)</small>
* Fellow, [[American Association for the Advancement of Science]] (2003)
* Fellow, [[Association for Computing Machinery]] <small>(2013)</small>
* Fellow, [[Association for Computing Machinery]] (2013)
}}
}}
| footnotes =
| footnotes =
| spouse =
| spouse =
}}
}}
'''Bart Selman''' is a Dutch-American professor of [[computer science]] at [[Cornell University]].<ref>{{cite web|title=Ada Lovelace lecture - Mobile phone in 2035 as powerful as our brains|url=https://www.universiteitleiden.nl/en/news/2017/05/mobile-phone-in-2035-as-powerful-as-our-brains|website=Leiden University|date=15 May 2017}}</ref> He has previously worked at [[AT&T Bell Laboratories]].<ref>{{cite web|last1=Stix|first1=Gary|title=Graph Theory and Teatime|url=https://www.scientificamerican.com/article/graph-theory-and-teatime/|website=Scientific American|pages=37–40|language=en|doi=10.1038/scientificamerican0307-37|date=1 March 2007}}</ref> He attended [[Technical University of Delft]], from where he received a master's degree in physics, graduating in 1983.
'''Bart Selman''' is a Dutch-American professor of [[computer science]] at [[Cornell University]].<ref>{{cite web|title=Ada Lovelace lecture - Mobile phone in 2035 as powerful as our brains|url=https://www.universiteitleiden.nl/en/news/2017/05/mobile-phone-in-2035-as-powerful-as-our-brains|website=Leiden University|date=15 May 2017}}</ref> He is also co-founder and principal investigator<ref name=":1">{{cite web |date=7 September 2016 |title=Selman and Halpern co-found new Center for Human-Compatible AI |url=https://www.cs.cornell.edu/information/news/newsitem2296/selman-and-halpern-co-found-new-center-human-compatible-ai-selman |access-date=2019-08-29 |website=Cornell University |language=}}</ref> of the [[Center for Human-Compatible Artificial Intelligence]] (CHAI) at the [[University of California, Berkeley]], led by [[Stuart J. Russell]],<ref name=Berkeley>{{cite web |title=UC Berkeley — Center for Human-Compatible AI |url=https://www.openphilanthropy.org/focus/global-catastrophic-risks/potential-risks-advanced-artificial-intelligence/uc-berkeley-center-human-compatible-ai |website=Open Philanthropy Project |date=23 May 2016 |access-date=2019-08-29 |language=}}</ref> and co-chair of the [[Computing Community Consortium]]'s 20-year roadmap for AI research.<ref>{{cite web |title=20-year AI research roadmap calls for lifetime assistants and national labs |url=https://venturebeat.com/2019/03/14/20-year-ai-research-roadmap-calls-for-lifetime-assistants-and-national-labs/ |website=Venture Beat |date=14 March 2019 |access-date=2019-08-29 |language=}}</ref>


== Education ==
He received his masters and PhD in computer science from the [[University of Toronto]] in 1985 and 1991 respectively.<ref>{{cite web|title=Faculty Profile - Bart Selman|url=https://www.engineering.cornell.edu/research/faculty/profile.cfm?netid=bs54|website=Cornell Engineering|language=en}}</ref>
Selman attended the [[Technical University of Delft]], from where he received a master's degree in physics, graduating in 1983.<ref>{{cite web |title=Bart Selman |url=http://www.cs.cornell.edu/selman/selman-cv-2013.pdf |website=Cornell University |access-date=2019-08-29 |language=}}</ref> He received his master's and PhD in computer science from the [[University of Toronto]] in 1985 and 1991 respectively.<ref>{{cite web|title=Faculty Profile - Bart Selman|url=https://www.engineering.cornell.edu/research/faculty/profile.cfm?netid=bs54|website=Cornell Engineering|language=en}}</ref>


== Career ==
He has authored over 90 publications, which have appeared in journals including ''[[Nature (journal)|Nature]]'', ''[[Science (journal)|Science]]'', and [[Proceedings of the National Academy of Sciences|''Proceedings of the National'' ''Academy of Sciences'']], and has presented at several conferences in the fields of [[artificial intelligence]] and [[computer science]].
Selman has been working at [[AT&T Bell Laboratories]] before becoming professor of computer science at Cornell University.<ref>{{cite journal |last1=Stix |first1=Gary |date=1 March 2007 |title=Graph Theory and Teatime |url=https://www.scientificamerican.com/article/graph-theory-and-teatime/ |journal=Scientific American |language=en |volume=296 |issue=3 |pages=37–40 |bibcode=2007SciAm.296c..37S |doi=10.1038/scientificamerican0307-37}}</ref>


⚫
His research areas include tractable inference, [[knowledge representation]], stochastic search methods, theory approximation, [[knowledge compilation]], planning, [[default reasoning]], [[Boolean satisfiability problem|satisfiability]] solvers like [[WalkSAT]], and connections between computer science and [[statistical physics]], namely [[phase transition]] phenomena.
⚫
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]].<ref>{{cite web|title=Current AAAI Fellows|url=http://www.aaai.org/Awards/fellows-current.php|website=www.aaai.org}}</ref><ref>{{cite web|title=Bart Selman|url=http://awards.acm.org/award_winners/selman_0217398|website=awards.acm.org|language=en}}</ref><ref>{{cite web|last1=Brand|first1=David|title=Six Cornell professors named fellows of AAAS, world's largest science group {{!}} Cornell Chronicle|url=http://news.cornell.edu/stories/2002/10/six-cornell-professors-named-fellows-aaas-worlds-largest-science-group|website=news.cornell.edu|language=en|date=28 October 2002}}</ref> He sits on the advisory board for the [[DARPA Grand Challenge]] Cornell Team.


Selman co-founded in 2016 an [[AI alignment]] research organization named Center for Human-Compatible AI (CHAI), and became one of its principal investigators.<ref name=":1" /> His role in CHAI and some of his recent lectures notably focus on the [[AI safety|safety]] and [[Ethics of artificial intelligence|ethical]] aspects of advanced artificial intelligence.<ref>{{Cite web |date=2016-08-30 |title=How UC Berkeley's New Center Could Prevent an A.I. Apocalypse |url=https://www.inverse.com/article/20376-uc-berkeley-center-for-human-compatible-artificial-intelligence |access-date=2024-03-11 |website=Inverse |language=en}}</ref><ref name="Selman">{{cite web |date=15 May 2017 |title=Mobile phone in 2035 as powerful as our brains |url=https://www.universiteitleiden.nl/en/news/2017/05/mobile-phone-in-2035-as-powerful-as-our-brains |access-date=2019-09-13 |website=Leiden University |language=}}</ref>
⚫
His research concepts include [[tractable inference]], [[knowledge representation]], [[stochastic search methods]], [[theory approximation]], [[knowledge compilation]], planning, [[default reasoning]], [[Boolean satisfiability problem|satisfiability]] solvers like [[WalkSAT]], and connections between computer science and [[statistical physics]], namely [[phase transition]] phenomena.


== Honors and awards ==
Selman teaches courses on artificial intelligence at Cornell University and advises postdoctoral fellows.
⚫
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]].<ref name=":0">{{Cite book |url=https://nap.nationalacademies.org/read/25961/chapter/11 |title=Information Technology Innovation - Resurgence, Confluence, and Continuing Impact |year=2020 |page=108}}</ref><ref>{{cite web |date=16 February 2017 |title=Research Collaboration |url=https://www.santafe.edu/events/crowdsourcing-insights-problem-structure-scientifi |access-date=2024-03-11 |website=Santa Fe Institute |language=}}</ref> He is a Fellow of the [[AAAI]],<ref>{{cite web |title=Current AAAI Fellows |url=http://www.aaai.org/Awards/fellows-current.php |website=Association for the Advancement of Artificial Intelligence}}</ref> the [[AAAS Fellow|AAAS]],<ref>{{cite web |last1=Brand |first1=David |date=28 October 2002 |title=Six Cornell professors named fellows of AAAS, world's largest science group {{!}} Cornell Chronicle |url=http://news.cornell.edu/stories/2002/10/six-cornell-professors-named-fellows-aaas-worlds-largest-science-group |website=news.cornell.edu |language=en}}</ref> and the [[Association for Computing Machinery|ACM]].<ref>{{cite web |date=2012 |title=Bart Selman |url=http://awards.acm.org/award_winners/selman_0217398 |website=Association for Computing Machinery |language=en}}</ref>


== Partial list of Selman's papers ==
== Notable research papers ==
Selman is the author or co-author of more than 100 publications,<ref name=":0" /> including:
* ''Statistical Regimes Across Constrainedness Regions'', [[Carla Gomes|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.
* ''Statistical regimes across constrainedness regions'', [[Carla Gomes|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), Febr., 2004.
* ''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.
* ''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 (computer scientist)|Ryan Williams]], Carla Gomes, and Bart Selman. Proc. IJCAI-03 Acapulco, Mexico, 2003.
* ''Backdoors to typical case complexity'', [[Ryan Williams (computer scientist)|Ryan Williams]], Carla Gomes, and Bart Selman. Proc. IJCAI-03 Acapulco, Mexico, 2003.
⚫
* ''Dynamic restart policies'', [[Henry Kautz|Kautz, Henry]], [[Eric Horvitz|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.
* ''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.
* ''Generating hard satisfiability problems'', Bart Selman, David G Mitchell, Hector J Levesque, Artificial intelligence, 1996
* ''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).
* ''Noise strategies for improving local search'', Bart Selman, Henry A Kautz, Bram Cohen, AAAI, 1994
* ''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'', [[Henry Kautz|Kautz, Henry]], [[Eric Horvitz|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.


==References==
==References==
Line 62: Line 63:
*[http://www.cs.cornell.edu/selman/ Selman's website].
*[http://www.cs.cornell.edu/selman/ Selman's website].
*[http://www.cs.cornell.edu/selman/research.html His current research projects].
*[http://www.cs.cornell.edu/selman/research.html His current research projects].

{{Authority control}}


{{DEFAULTSORT:Selman, Bart}}
{{DEFAULTSORT:Selman, Bart}}
Line 69: Line 72:
[[Category:Cornell University faculty]]
[[Category:Cornell University faculty]]
[[Category:Fellows of the Association for the Advancement of Artificial Intelligence]]
[[Category:Fellows of the Association for the Advancement of Artificial Intelligence]]
[[Category:Artificial intelligence researchers]]
[[Category:American artificial intelligence researchers]]
[[Category:Fellows of the Association for Computing Machinery]]
[[Category:2012 Fellows of the Association for Computing Machinery]]
[[Category:Fellows of the American Association for the Advancement of Science]]
[[Category:Fellows of the American Association for the Advancement of Science]]
[[Category:Scientists at Bell Labs]]
[[Category:Scientists at Bell Labs]]

Revision as of 06:33, 6 May 2024

Bart Selman
Bildung
Awards
Scientific career
FieldsArtificial intelligence
Institutions
ThesisTractable Default Reasoning (1991)
Doctoral advisorHector Levesque

Bart Selman is a Dutch-American professor of computer science at Cornell University.[1] He is also co-founder and principal investigator[2] of the Center for Human-Compatible Artificial Intelligence (CHAI) at the University of California, Berkeley, led by Stuart J. Russell,[3] and co-chair of the Computing Community Consortium's 20-year roadmap for AI research.[4]

Bildung

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

Career

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

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.[2] His role in CHAI and some of his recent lectures notably focus on the safety and ethical aspects of advanced artificial intelligence.[8][9]

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.[10][11] He is a Fellow of the AAAI,[12] the AAAS,[13] and the ACM.[14]

Notable research papers

Selman is the author or co-author of more than 100 publications,[10] 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

  1. ^ "Ada Lovelace lecture - Mobile phone in 2035 as powerful as our brains". Leiden University. 15 May 2017.
  2. ^ a b "Selman and Halpern co-found new Center for Human-Compatible AI". Cornell University. 7 September 2016. Retrieved 2019-08-29.
  3. ^ "UC Berkeley — Center for Human-Compatible AI". Open Philanthropy Project. 23 May 2016. Retrieved 2019-08-29.
  4. ^ "20-year AI research roadmap calls for lifetime assistants and national labs". Venture Beat. 14 March 2019. Retrieved 2019-08-29.
  5. ^ "Bart Selman" (PDF). Cornell University. Retrieved 2019-08-29.
  6. ^ "Faculty Profile - Bart Selman". Cornell Engineering.
  7. ^ Stix, Gary (1 March 2007). "Graph Theory and Teatime". Scientific American. 296 (3): 37–40. Bibcode:2007SciAm.296c..37S. doi:10.1038/scientificamerican0307-37.
  8. ^ "How UC Berkeley's New Center Could Prevent an A.I. Apocalypse". Inverse. 2016-08-30. Retrieved 2024-03-11.
  9. ^ "Mobile phone in 2035 as powerful as our brains". Leiden University. 15 May 2017. Retrieved 2019-09-13.
  10. ^ a b Information Technology Innovation - Resurgence, Confluence, and Continuing Impact. 2020. p. 108.
  11. ^ "Research Collaboration". Santa Fe Institute. 16 February 2017. Retrieved 2024-03-11.
  12. ^ "Current AAAI Fellows". Association for the Advancement of Artificial Intelligence.
  13. ^ Brand, David (28 October 2002). "Six Cornell professors named fellows of AAAS, world's largest science group | Cornell Chronicle". news.cornell.edu.
  14. ^ "Bart Selman". Association for Computing Machinery. 2012.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Bart_Selman&oldid=1222486016"