Bart Selman

Last updated
Bart Selman
Education
Awards
Scientific career
Fields Artificial intelligence
Institutions
Thesis Tractable Default Reasoning  (1991)
Doctoral advisor Hector 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]

Contents

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 NationalAcademy 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.[ citation needed ]

Partial list of Selman's papers

Related Research Articles

<span class="mw-page-title-main">Association for the Advancement of Artificial Intelligence</span> International scientific society

The Association for the Advancement of Artificial Intelligence (AAAI) is an international scientific society devoted to promote research in, and responsible use of, artificial intelligence. AAAI also aims to increase public understanding of artificial intelligence (AI), improve the teaching and training of AI practitioners, and provide guidance for research planners and funders concerning the importance and potential of current AI developments and future directions.

<span class="mw-page-title-main">Stuart J. Russell</span> British computer scientist and author (born 1962)

Stuart Jonathan Russell is a British computer scientist known for his contributions to artificial intelligence (AI). He is a professor of computer science at the University of California, Berkeley and was from 2008 to 2011 an adjunct professor of neurological surgery at the University of California, San Francisco. He holds the Smith-Zadeh Chair in Engineering at University of California, Berkeley. He founded and leads the Center for Human-Compatible Artificial Intelligence (CHAI) at UC Berkeley. Russell is the co-author with Peter Norvig of the authoritative textbook of the field of AI: Artificial Intelligence: A Modern Approach used in more than 1,500 universities in 135 countries.

<span class="mw-page-title-main">Judea Pearl</span> Computer scientist (born 1936)

Judea Pearl is an Israeli-American computer scientist and philosopher, best known for championing the probabilistic approach to artificial intelligence and the development of Bayesian networks. He is also credited for developing a theory of causal and counterfactual inference based on structural models. In 2011, the Association for Computing Machinery (ACM) awarded Pearl with the Turing Award, the highest distinction in computer science, "for fundamental contributions to artificial intelligence through the development of a calculus for probabilistic and causal reasoning". He is the author of several books, including the technical Causality: Models, Reasoning and Inference, and The Book of Why, a book on causality aimed at the general public.

<span class="mw-page-title-main">Deborah McGuinness</span>

Deborah Louise McGuinness is an American computer scientist and researcher at Rensselaer Polytechnic Institute (RPI). She is a professor of Computer, Cognitive and Web Sciences, Industrial and Systems Engineering, and an endowed chair in the Tetherless World Constellation, a multidisciplinary research institution within RPI that focuses on the study of theories, methods and applications of the World Wide Web. Her fields of expertise include interdisciplinary data integration, artificial intelligence, specifically in knowledge representation and reasoning, description logics, the semantic web, explanation, and trust.

Saul Amarel was a professor of computer science at Rutgers University, and best known for his pioneering work in artificial intelligence (AI). He also had a career as a scientist, engineer, and teacher. He was a contributor to advanced computing and AI methodologies, both applied to scientific inquiry as well as engineering practice.

<span class="mw-page-title-main">Manuela M. Veloso</span> Portuguese-American computer scientist

Manuela Maria Veloso is the Head of J.P. Morgan AI Research & Herbert A. Simon University Professor Emeritus in the School of Computer Science at Carnegie Mellon University, where she was previously Head of the Machine Learning Department. She served as president of Association for the Advancement of Artificial Intelligence (AAAI) until 2014, and the co-founder and a Past President of the RoboCup Federation. She is a fellow of AAAI, Institute of Electrical and Electronics Engineers (IEEE), American Association for the Advancement of Science (AAAS), and Association for Computing Machinery (ACM). She is an international expert in artificial intelligence and robotics.

<span class="mw-page-title-main">John Canny</span> Australian computer scientist

John F. Canny is an Australian computer scientist, and Paul E Jacobs and Stacy Jacobs Distinguished Professor of Engineering in the Computer Science Department of the University of California, Berkeley. He has made significant contributions in various areas of computer science and mathematics, including artificial intelligence, robotics, computer graphics, human-computer interaction, computer security, computational algebra, and computational geometry.

<span class="mw-page-title-main">Eric Horvitz</span> American computer scientist, and Technical Fellow at Microsoft

Eric Joel Horvitz is an American computer scientist, and Technical Fellow at Microsoft, where he serves as the company's first Chief Scientific Officer. He was previously the director of Microsoft Research Labs, including research centers in Redmond, WA, Cambridge, MA, New York, NY, Montreal, Canada, Cambridge, UK, and Bangalore, India.

<span class="mw-page-title-main">Barbara J. Grosz</span> American computer scientist (born 1948)

Barbara J. Grosz CorrFRSE is an American computer scientist and Higgins Professor of Natural Sciences at Harvard University. She has made seminal contributions to the fields of natural language processing and multi-agent systems. With Alison Simmons, she is co-founder of the Embedded EthiCS programme at Harvard, which embeds ethics lessons into computer science courses.

<span class="mw-page-title-main">Nick Jennings (computer scientist)</span> British computer scientist (b.1966)

Nicholas Robert Jennings is a British computer scientist and the current Vice-Chancellor and President of Loughborough University. He was previously the Vice-Provost for Research and Enterprise at Imperial College London, the UK's first Regius Professor of Computer Science, and the inaugural Chief Scientific Adviser to the UK Government on National Security. His research covers the areas of AI, autonomous systems, agent-based computing and cybersecurity.

<span class="mw-page-title-main">Eric Xing</span>

Eric Poe Xing is an American computer scientist whose research spans machine learning, computational biology, and statistical methodology. Xing is founding President of the world’s first artificial intelligence university, Mohamed bin Zayed University of Artificial Intelligence (MBZUAI).

Henry A. Kautz is a computer scientist, Founding Director of Institute for Data Science and Professor at University of Rochester. He is interested in knowledge representation, artificial intelligence, data science and pervasive computing.

<span class="mw-page-title-main">Peter Stone (professor)</span> American professor of Computer science

Peter Stone is an American computer scientist who is the David Bruton Jr. Centennial Professor of Computer Science at the University of Texas at Austin. He is also an Alfred P. Sloan Research Fellow, Guggenheim Fellow, AAAI Fellow, and Fulbright Scholar.

<span class="mw-page-title-main">Shlomo Zilberstein</span>

Shlomo Zilberstein is an Israeli-American computer scientist. He is a Professor of Computer Science and Associate Dean for Research and Engagement in the College of Information and Computer Sciences at the University of Massachusetts, Amherst. He graduated with a B.A. in Computer Science summa cum laude from Technion – Israel Institute of Technology in 1982, and received a Ph.D. in Computer Science from University of California at Berkeley in 1993, advised by Stuart J. Russell. He is known for his contributions to artificial intelligence, anytime algorithms, multi-agent systems, and automated planning and scheduling algorithms, notably within the context of Markov decision processes (MDPs), Partially Observable MDPs (POMDPs), and Decentralized POMDPs (Dec-POMDPs).

<span class="mw-page-title-main">Michael Wooldridge (computer scientist)</span> British computer scientist

Michael John Wooldridge is a professor of computer science at the University of Oxford. His main research interests is in multi-agent systems, and in particular, in the computational theory aspects of rational action in systems composed of multiple self-interested agents. His work is characterised by the use of techniques from computational logic, game theory, and social choice theory.

<span class="mw-page-title-main">Carla Gomes</span> Portuguese-American computer scientist

Carla Pedro Gomes is a Portuguese-American computer scientist and professor at Cornell University. She is the founding Director of the Institute for Computational Sustainability and is noted for her pioneering work in developing computational methods to address challenges in sustainability. She has conducted research in a variety of areas of artificial intelligence and computer science, including constraint reasoning, mathematical optimization, and randomization techniques for exact search methods, algorithm selection, multi-agent systems, and game theory. Her work in computational sustainability includes ecological conservation, rural resource mapping, and pattern recognition for material science.

Sheila McIlraith is a Canadian computer scientist specializing in Artificial Intelligence (AI). She is a Professor in the Department of Computer Science, University of Toronto. She is a Canada CIFAR AI Chair, a faculty member of the Vector Institute, and Associate Director and Research Lead of the Schwartz Reisman Institute for Technology and Society.

<span class="mw-page-title-main">Center for Human-Compatible Artificial Intelligence</span> AI safety research center

The Center for Human-Compatible Artificial Intelligence (CHAI) is a research center at the University of California, Berkeley focusing on advanced artificial intelligence (AI) safety methods. The center was founded in 2016 by a group of academics led by Berkeley computer science professor and AI expert Stuart J. Russell. Russell is known for co-authoring the widely used AI textbook Artificial Intelligence: A Modern Approach.

Neuro-symbolic AI is a type of artificial intelligence that integrates neural and symbolic AI architectures to address the weaknesses of each, providing a robust AI capable of reasoning, learning, and cognitive modeling. As argued by Leslie Valiant and others, the effective construction of rich computational cognitive models demands the combination of symbolic reasoning and efficient machine learning. Gary Marcus, argued, "We cannot construct rich cognitive models in an adequate, automated way without the triumvirate of hybrid architecture, rich prior knowledge, and sophisticated techniques for reasoning." Further, "To build a robust, knowledge-driven approach to AI we must have the machinery of symbol manipulation in our toolkit. Too much useful knowledge is abstract to proceed without tools that represent and manipulate abstraction, and to date, the only known machinery that can manipulate such abstract knowledge reliably is the apparatus of symbol manipulation."

<span class="mw-page-title-main">Black in AI</span> Technology research organization

Black in AI, formally called the Black in AI Workshop, is a technology research organization and affinity group, founded by computer scientists Timnit Gebru and Rediet Abebe in 2017. It started as a conference workshop, later pivoting into an organization. Black in AI increases the presence and inclusion of Black people in the field of artificial intelligence (AI) by creating space for sharing ideas, fostering collaborations, mentorship, and advocacy.

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. 16 February 2017. Retrieved 2019-08-29.
  4. "Selman and Halpern co-found new Center for Human-Compatible AI". Cornell University. Retrieved 2019-08-29.
  5. 1 2 "UC Berkeley — Center for Human-Compatible AI". Open Philanthropy Project. 23 May 2016. Retrieved 2019-08-29.
  6. "20-year AI research roadmap calls for lifetime assistants and national labs". Venture Beat. 14 March 2019. 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. 30 August 2016. 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. 15 May 2017. Retrieved 2019-09-13.
  12. "CS Needs an Ethics Requirement". The Cornell Daily Sun. 30 September 2018. 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.