Bart Selman
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]
Bart Selman | |
---|---|
Education | |
Awards |
|
Scientific career | |
Fields | Artificial intelligence |
Institutions | |
Thesis | Tractable Default Reasoning (1991) |
Doctoral advisor | Hector Levesque |
Education and career
Selman attended the Technical University of Delft, from where he received a master's degree in physics, graduating in 1983.[7] He received his master's and PhD in computer science from the University of Toronto in 1985 and 1991 respectively.[8]
Research
Selman's research focuses 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 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. He has presented at several conferences in the fields of artificial intelligence and computer science.
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.
Honors and awards
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.
Partial list of Selman's papers
- Statistical Regimes Across Considerateness 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), Feb., 2004.
- Natural communities in large linked networks, John Hopcroft, Brian Kulis, Omar Khan, and Bart Selman. Proc. KDD, August 2003.
- Backdoor 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 Multi-agent 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
- "Ada Lovelace lecture - Mobile phone in 2035 as powerful as our brains". Leiden University. 15 May 2017.
- Stix, Gary (1 March 2007). "Graph Theory and Teatime". Scientific American. 296 (3): 37–40. Bibcode:2007SciAm.296c..37S. doi:10.1038/scientificamerican0307-37.
- "Research Collaboration". Santa Fe Institute. 16 February 2017. Retrieved 2019-08-29.
- "Selman and Halpern co-found new Center for Human-Compatible AI". Cornell University. Retrieved 2019-08-29.
- "UC Berkeley — Center for Human-Compatible AI". Open Philanthropy Project. 23 May 2016. Retrieved 2019-08-29.
- "20-year AI research roadmap calls for lifetime assistants and national labs". Venture Beat. 14 March 2019. Retrieved 2019-08-29.
- "Bart Selman" (PDF). Cornell University. Retrieved 2019-08-29.
- "Faculty Profile - Bart Selman". Cornell Engineering.
- "How UC Berkeley's New Center Could Prevent a Military A.I. Apocalypse". inverse. 30 August 2016. Retrieved 2019-09-13.
- "Increasing Use of Autonomous Systems Could Threaten Jobs". American Association for the Advancement of Science. Retrieved 2019-09-13.
- "Mobile phone in 2035 as powerful as our brains". Leiden University. 15 May 2017. Retrieved 2019-09-13.
- "CS Needs an Ethics Requirement". The Cornell Daily Sun. 30 September 2018. Retrieved 2019-09-13.
- "Current AAAI Fellows". www.aaai.org.
- "Bart Selman". awards.acm.org.
- Brand, David (28 October 2002). "Six Cornell professors named fellows of AAAS, world's largest science group | Cornell Chronicle". news.cornell.edu.