Bart Selman

From Wikipedia, the free encyclopedia
Bart Selman
Alma materTechnical University of Delft
University of Toronto
Awards
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][3] He is also co-founder and principal investigator[4] of the Center for Human-Compatible Artificial Intelligence (CHAI) at the University of California, Berkeley, led by Berkeley artificial intelligence (AI) expert Stuart J. Russell,[5] and co-chair of the Computing Community Consortium's 20-year roadmap for AI research.[6]

Selman attended Technical University of Delft, from where he received a master's degree in physics, graduating in 1983.[7]

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

Selman's research focuses is on the increasing and changing role of machines and computing in society.[9] His studies at Center for Human-Compatible AI (CHAI) focus on the potential risks and negative impacts of advanced AI.[5][10] An expert in AI Safety,[11] he studies how computing has shifted from ethics-neutral software to predictive algorithms and advocates for integrating ethics and AI.[12]

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.[13][14][15] He sits on the advisory board for the DARPA Grand Challenge Cornell Team.

His research concepts include , knowledge representation, , , 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[]

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

References[]

  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. 296 (3): 37–40. Bibcode:2007SciAm.296c..37S. doi:10.1038/scientificamerican0307-37.
  3. ^ "Research Collaboration". Santa Fe Institute. Retrieved 2019-08-29.
  4. ^ "Selman and Halpern co-found new Center for Human-Compatible AI". Cornell University. Retrieved 2019-08-29.
  5. ^ Jump up to: a b "UC Berkeley — Center for Human-Compatible AI". Open Philanthropy Project. Retrieved 2019-08-29.
  6. ^ "20-year AI research roadmap calls for lifetime assistants and national labs". Venture Beat. Retrieved 2019-08-29.
  7. ^ "Bart Selman" (PDF). Cornell University. Retrieved 2019-08-29.
  8. ^ "Faculty Profile - Bart Selman". Cornell Engineering.
  9. ^ "How UC Berkeley's New Center Could Prevent a Military A.I. Apocalypse". inverse. Retrieved 2019-09-13.
  10. ^ "Increasing Use of Autonomous Systems Could Threaten Jobs". American Association for the Advancement of Science. Retrieved 2019-09-13.
  11. ^ "Mobile phone in 2035 as powerful as our brains". Leiden University. Retrieved 2019-09-13.
  12. ^ "CS Needs an Ethics Requirement". The Cornell Daily Sun. Retrieved 2019-09-13.
  13. ^ "Current AAAI Fellows". www.aaai.org.
  14. ^ "Bart Selman". awards.acm.org.
  15. ^ Brand, David (28 October 2002). "Six Cornell professors named fellows of AAAS, world's largest science group | Cornell Chronicle". news.cornell.edu.

External links[]

Retrieved from ""