PeopleofSuperintelligence

Researcher

Mark d'Inverno

Mark d'Inverno is a computer scientist whose work spans multi-agent systems, ethical AI and AI in music. He earned mathematics and computation degrees at Oxford and completed a PhD titled Agents, Agency and Autonomy at University College London. At Goldsmiths, he served as Professor of Computer Science from 2006 to 2024, headed the Department of Computing, and held Pro-Warden roles. With Michael Luck, he coauthored a formal specification of dMARS and Understanding Agent Systems; with Nardine Osman, he published a 2023 framework for human values in ethical AI. He coauthored an AI-creativity music course in 2024, is a Professor of Music and Performing Arts at Hong Kong Baptist University, and joined a 2025 discussion about AI ethics in research.

Born
1965
Works
208
Citations
3,931
h-index
31

Years link to their sources. Publication numbers from OpenAlex, as of 22 October 2026.

Timeline

  1. 1986–1998

    Oxford degrees and a UCL PhD

    At Oxford, he earns an MA in mathematics in 1986 and an MSc in Computation in 1988. He completes his PhD, Agents, Agency and Autonomy, at University College London in 1998.

  2. 1998

    A formal dMARS specification

    With David Kinny, Michael Luck and Michael Wooldridge, he publishes A Formal Specification of dMARS in 1998. The paper provides a formal model of dMARS, an implementation of the Procedural Reasoning System architecture.

  3. 2004

    Understanding Agent Systems

    With Michael Luck, he publishes Understanding Agent Systems in 2004. The book applies formal methods to define agent systems and their relationships.

  4. 2006–2024

    Professor at Goldsmiths

    He serves as Professor of Computer Science at Goldsmiths from 2006 to 2024.

  5. 2007–2020

    Head and Pro-Warden roles

    He heads the Department of Computing from 2007 to 2011, and serves as Pro-Warden for Research and Enterprise from 2013 to 2016 and Pro-Warden International from 2017 to 2020.

  6. 2021

    Academia Europaea election

    He is elected an ordinary member of Academia Europaea in 2021, in its Film, Media & Visual Studies section, with Musicology & Art History as an affiliated section.

  7. 2023

    Human values for ethical AI

    With Nardine Osman, he posts A computational framework of human values for ethical AI in 2023. The paper sets out a social-science framework for investigating how human values can support ethical AI.

  8. As of October 2026

    Professor at Hong Kong Baptist

    In 2024, he coauthors Designing an AI-Creativity Music course. In 2025, he joins an HKBU discussion about ethical AI in research. He is a Professor of Music and Performing Arts in HKBU's Academy of Music.

Career

  1. Since 2026Hong Kong Baptist UniversityProfessor of Music and Performing Arts
  2. 2007–2017University of London
  3. 2006–2024Goldsmiths University of LondonProfessor of Computer Science, Head
  4. 1995–2007University of Westminster

Education

  1. 1998University College LondonPhD
  2. 1988University of OxfordMSc
  3. 1986University of OxfordMA

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. A formal specification of dMARS1998 · Lecture notes in computer science · 327 citationsWith Michael John Wooldridge
  2. Understanding Agent Systems2001 · Springer series in agent technology/Springer series on agent technology · 289 citations
  3. A Formal Framework for Agency and Autonomy1995 · 225 citations
  4. Agent based software development2004 · 162 citations
  5. The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System2004 · Autonomous Agents and Multi-Agent Systems · 160 citationsWith Michael John Wooldridge and Michael P. Georgeff

From OpenAlex, as of 21 October 2026.

  1. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Hong Kong Baptist University. We estimate where the people shaping AI studied and where their careers led. Massachusetts Institute of Technology leads with 467 former students, including 291 recorded doctorates.
  2. The company share of AI researchers’ top papers was 31% in 2020–2024 and 8% in 1970–1974Includes Hong Kong Baptist University. We estimate where the people shaping AI worked when their most-cited papers appeared: the company share was 31% in 2020–2024 and 8% in 1970–1974, and Google led all organizations in 2020–2024.
  3. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Hong Kong Baptist University. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other university. We compare doctorate and 5+ year employment links, career timing and current workplaces for 187 major-prize and 1,111 best-paper winners.
  4. The median h-index is 48 at universities and 14 at frontier AI labsIncludes University College London. The median h-index is 48 at universities and 14 at frontier AI labs. We compare publishing careers, recent citations, dual appointments and job moves across 2,420 university researchers and 308 frontier-lab researchers.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Mark d'Inverno yet. Send us a free-licensed photo.

  1. ICINCO 2006 - International Conference on Informatics in Control, Automation & Robotics icinco.scitevents.org. Checked 20 October 2026.
  2. A Formal Specification of dMARS / APICe apice.unibo.it. Checked 20 October 2026.
  3. Understanding Agent Systems - Mark d'Inverno, Michael M. Luck - Google Books books.google.com. Checked 20 October 2026.
  4. Academy of Europe: d’Inverno Mark ae-info.org. Checked 20 October 2026.
  5. A computational framework of human values for ethical AI arxiv.org. Checked 20 October 2026.
  6. Mark D'INVERNO - Hong Kong Baptist University scholars.hkbu.edu.hk. Checked 20 October 2026.
  7. 2025 International Advisory Board for Graduate Studies (IAB) Annual Meeting Day 1 – Where AI+ Ignites Tomorrow’s Collaborations gs.hkbu.edu.hk. Checked 20 October 2026.