Michael Wooldridge (computer scientist)

Last updated

Michael Wooldridge
Michael Wooldridge (Computer Scientist).jpg
Wooldridge in 2015
Born
Michael John Wooldridge

(1966-08-26) 26 August 1966 (age 57)
Wakefield, United Kingdom
NationalityBritish
Alma mater
Known for Multiagent systems
SpouseJanine Wooldridge
Children2
Awards
Scientific career
Fields
Institutions
Thesis The Logical Modelling of Computational Multi-agent Systems  (1992)
Doctoral advisor Gregory O'Hare [5]
Website www.cs.ox.ac.uk/people/michael.wooldridge OOjs UI icon edit-ltr-progressive.svg

Michael John Wooldridge (born 26 August 1966) 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. [6] [7] [8] [9] [10] His work is characterised by the use of techniques from computational logic, game theory, and social choice theory.

Contents

Education

Wooldridge was educated at Wolverhampton Polytechnic where he gained a BSc in 1989 [11] and the University of Manchester Institute of Science and Technology (UMIST) where he was awarded a PhD in 1991 for research supervised by Gregory O'Hare. [5] [12]

Career and research

Wooldridge was appointed a lecturer in Computer Science at the Manchester Metropolitan University in 1992. In 1996, he moved to London, where he became senior lecturer at Queen Mary and Westfield College in 1998. His appointment as full professor in the Department of Computer Science at the University of Liverpool followed in 1999. In Liverpool he served as head of department from 2001 to 2005 and as head of the School of Electrical Engineering, Electronics, and Computer Science from 2008 to 2011. In 2012 the European Research Council awarded him a five-year ERC Advanced Grant for the project Reasoning about Computational Economies (RACE). In the same year he left Liverpool to become professor of computer science at the University of Oxford, and served as head of the Department of Computer Science from 2014 - 2018. In Oxford he is a senior research fellow of Hertford College, Oxford.

Michael Wooldridge is author of more than 300 academic publications. [4] [13] [14]

Editorial service

Other editorships: Journal of Applied Logic, Journal of Logic and Computation , Journal of Applied Artificial Intelligence, and Computational Intelligence .

Awards and honours

He is a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI), a European Coordinating Committee for Artificial Intelligence (ECCAI) Fellow, a Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB) Fellow, and a British Computer Society (BCS) Fellow. In 2015, he was made Association for Computing Machinery (ACM) Fellow for his contributions to multi-agent systems and the formalisation of rational action in multi-agent environments. [15]

Publications

Related Research Articles

The belief–desire–intention software model (BDI) is a software model developed for programming intelligent agents. Superficially characterized by the implementation of an agent's beliefs, desires and intentions, it actually uses these concepts to solve a particular problem in agent programming. In essence, it provides a mechanism for separating the activity of selecting a plan from the execution of currently active plans. Consequently, BDI agents are able to balance the time spent on deliberating about plans and executing those plans. A third activity, creating the plans in the first place (planning), is not within the scope of the model, and is left to the system designer and programmer.

<span class="mw-page-title-main">Alan Bundy</span> British artificial intelligence researcher (born 1947)

Alan Richard Bundy is a professor at the School of Informatics at the University of Edinburgh, known for his contributions to automated reasoning, especially to proof planning, the use of meta-level reasoning to guide proof search.

Keith Leonard Clark is an Emeritus Professor in the Department of Computing at Imperial College London, England.

Hector Joseph Levesque is a Canadian academic and researcher in artificial intelligence. His research concerns incorporating commonsense reasoning in intelligent systems and he initiated the Winograd Schemas Challenge.

<span class="mw-page-title-main">Moshe Vardi</span> Israeli mathematicien and computer scientist

Moshe Ya'akov Vardi is an Israeli mathematician and computer scientist. He is the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University, United States. and a faculty advisor for the Ken Kennedy Institute. His interests focus on applications of logic to computer science, including database theory, finite model theory, knowledge of multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. He is an expert in model checking, constraint satisfaction and database theory, common knowledge (logic), and theoretical computer science.

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

AgentSpeak is an agent-oriented programming language. It is based on logic programming and the belief–desire–intention software model (BDI) architecture for (cognitive) autonomous agents. The language was originally called AgentSpeak(L), but became more popular as AgentSpeak, a term that is also used to refer to the variants of the original language.

<span class="mw-page-title-main">Sarit Kraus</span> Israeli computer scientist

Sarit Kraus is a professor of computer science at the Bar-Ilan University in Israel. She was named the 2020-2021 ACM Athena Lecturer recognising her contributions to artificial intelligence, notably to multiagent systems, human-agent interaction, autonomous agents and nonmonotonic reasoning, in addition to exemplary service and leadership in these fields.

<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">Milind Tambe</span> American computer scientist

Milind Tambe is an Indian-American educator serving as a Professor of Computer Science at Harvard University. He also serves as the director of the Center for Research on Computation and Society at Harvard University and the director of "AI for Social Good" at Google Research India.

Munindar P. Singh is a SAS institute distinguished professor and a full professor in the Department of Computer Science at North Carolina State University. Singh is an IEEE Fellow, a AAAI Fellow, a AAAS Fellow, an ACM Fellow, a Member of Academia Europaea, and a ACM SIGAI Autonomous Agents Research Award recipient.

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

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">SIGAI</span> Interdisciplinary group of academic and industrial researchers

ACM SIGAI is the Association for Computing Machinery's Special Interest Group on Artificial Intelligence (AI), an interdisciplinary group of academic and industrial researchers, practitioners, software developers, end users, and students who work together to promote and support the growth and application of AI principles and techniques throughout computing. SIGAI is one of the oldest special interest groups in the ACM. SIGAI, previously called SIGART, started in 1966, publishing the SIGART Newsletter that later became the SIGART Bulletin and Intelligence Magazine.

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

Yolanda Gil is a Spanish computer scientist specializing in knowledge discovery and knowledge-based systems at the University of Southern California (USC). She served as chair of SIGAI the Association for Computing Machinery (ACM) Special Interest Group (SIG) on Artificial Intelligence, and the president of the Association for the Advancement of Artificial Intelligence (AAAI).

Michael Genesereth is an American logician and computer scientist, who is most known for his work on computational logic and applications of that work in enterprise management, computational law, and general game playing. Genesereth is professor in the Computer Science Department at Stanford University and a professor by courtesy in the Stanford Law School. His 1987 textbook on Logical Foundations of Artificial Intelligence remains one of the key references on symbolic artificial intelligence. He is the author of the influential Game Description Language (GDL) and Knowledge Interchange Format (KIF), the latter of which led to the ISO Common Logic standard.

David C. Parkes is a British-American computer scientist. He is the George F. Colony Professor of Computer Science and Co Faculty Director of the Harvard Data Science Initiative. From 2013–17, he was Area Dean for Computer Science. Parkes is a Fellow of the Association for the Advancement of Artificial Intelligence (AAAI) and the Association for Computing Machinery (ACM).

References

  1. ↑ "ACM Fellows Named for Computing Innovations that Are Advancing Technology in the Digital Age". acm.org. Retrieved 12 November 2018.
  2. 1 2 "Elected AAAI Fellows". aaai.org. Retrieved 12 November 2018.
  3. 1 2 Wooldridge, Michael (2023). "How to Build an Intelligent Machine". bbc.co.uk. BBC.
  4. 1 2 3 4 5 6 Michael Wooldridge publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg
  5. 1 2 Michael Wooldridge at the Mathematics Genealogy Project OOjs UI icon edit-ltr-progressive.svg
  6. ↑ Wooldridge, Michael (2000). Reasoning about Rational Agents. MIT Press. p.  246. ISBN   978-0262515566.
  7. ↑ Wooldridge, Michael (2002). An Introduction to Multi-agent Systems (first ed.). John Wiley & Sons. p. 366. ISBN   978-0471496915.
  8. ↑ Bussmann, Stefan; Jennings, Nicholas R.; Wooldridge, Michael (2004). Multiagent Systems for Manufacturing Control. Springer-Verlag. p. 288. ISBN   978-3540209249.
  9. ↑ Bordini, Rafael H.; Hübner, Jomi Fred; Wooldridge, Michael (2007). Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley-Blackwell. p. 292. ISBN   978-0470029008.
  10. ↑ Wooldridge, Michael (2009). An Introduction to Multi-agent Systems (second ed.). John Wiley & Sons. p. 484. ISBN   978-0470519462.
  11. 1 2 Al-Khalili, Jim (2023). "Michael Wooldridge on AI and sentient robots". bbc.co.uk.
  12. ↑ Wooldridge, Michael John (1992). The Logical Modelling of Computational Multi-agent Systems. manchester.ac.uk (PhD). University of Manchester Institute of Science and Technology. OCLC   556774497. EThOS   uk.bl.ethos.387317.
  13. ↑ Michael Wooldridge at DBLP Bibliography Server OOjs UI icon edit-ltr-progressive.svg
  14. ↑ www.cs.ox.ac.uk/people/michael.wooldridge OOjs UI icon edit-ltr-progressive.svg
  15. 1 2 "News release Association for Computing Machinery, December 8, 2015". Archived from the original on 9 December 2015. Retrieved 3 September 2016.
  16. ↑ Wooldridge, Michael; Jennings, Nicholas R. (2009). "Intelligent agents: theory and practice". The Knowledge Engineering Review. 10 (2): 115. doi:10.1017/S0269888900008122. ISSN   0269-8889. S2CID   221342993.
  17. ↑ "Web page ACM SIGAI". sigai.acm.org. Retrieved 3 September 2016.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.