PeopleofSuperintelligence

Researcher

Veronica Dahl

Also known as Verónica Dahl

Veronica Dahl is a computer scientist and Simon Fraser University professor emerita who helped found logic programming and applied it to human languages. She earned a doctorate in artificial intelligence at Aix-Marseille II in 1977 under Alain Colmerauer, and her thesis work produced the first logic-programmed database system, with a front end in Spanish. In 1989 she coauthored the book Logic Grammars with Abramson, and in 1997 the Association for Logic Programming named her one of its 15 Founders of Logic Programming. She presided over that association from 2001 to 2005 and held a Marie Curie Chair of Excellence in Tarragona from 2008 to 2011. Since 2022, she chairs the Prolog Education Group 2.0, an international effort to bring logical reasoning and trustworthy coding skills into school curricula.

Now at
Simon Fraser University and Prolog Education Group 2.0
Badges

Timeline

  1. 1974–1977

    A Spanish-language Prolog database

    She graduates in computer science from Buenos Aires University in 1974 and continues graduate study in France. In 1977, she earns a doctorate in artificial intelligence at Aix-Marseille II under Alain Colmerauer, and her thesis work yields the first logic-programmed database system, with a Spanish-language front end to consult it.

  2. 1982–1991

    Professor at Simon Fraser

    She becomes an associate professor at Simon Fraser University in 1982, wins a record-breaking research contract with IBM, directs the university's Logic and Functional Programming Laboratory from 1986, and becomes a full professor in 1991.

  3. 1989

    The book Logic Grammars

    She coauthors the Springer monograph Logic Grammars with Abramson in 1989. Her logic grammar research is extensively used to help find the human genome, which convinces her to cast life-science problems in linguistic terms.

  4. 1997–2005

    Founder of logic programming, then president

    In 1997, the Association for Logic Programming names her one of fifteen Founders of Logic Programming, a group that includes Alain Colmerauer and Robert Kowalski. She serves as the association's president from 2001 to 2005.

  5. 2008–2011

    A Marie Curie Chair

    The European Commission awards her a Marie Curie Chair of Excellence, held at the University of Tarragona in Spain from 2008 to 2011, for her work on constraint solving and language processing for bioinformatics.

  6. 2012–2013

    Emeritus status and Womb Grammars

    She leaves her full professorship at Simon Fraser in 2012 to focus on research, and the university grants her Lifetime Professor Emeritus status from 2013. Her work continues under NSERC funding, including Womb Grammars, which map a known grammar into the grammar of another language from sample sentences and a lexicon and have been applied to Yoruba noun phrases.

  7. Since 2022

    Chairing Prolog Education Group 2.0

    She chairs the Prolog Education Group 2.0, an international effort to introduce reliable thinking skills as a subject in school curricula at all levels. In 2022, she also chairs the Education Committee of the Year of Prolog and is one of eleven authors of Fifty Years of Prolog and Beyond.

  8. September 2025

    Invited talk at PEG 2025

    In September 2025, she gives the invited talk "PEG 2.0: Future-gazing through a socio-linguistic and historical lens" at the third Prolog Education Workshop, held with ICLP 2025 in Rende, Italy.

Career

  1. Since 2022Prolog Education Group 2.0Chair
  2. Since 1982Simon Fraser UniversityAssociate Professor, Director
  3. 2008–2011Universitat Rovira i VirgiliMarie Curie Chair of Excellence

Education

  1. 1977Université de la Méditerranée Aix-Marseille IIDoctorate in artificial intelligence
  2. 1974University of Buenos AiresComputer science degree

From the biography.

  1. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Simon Fraser 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 Simon Fraser 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. Google has the highest combined h-index among AI organizationsIncludes Simon Fraser University. We estimate that Google holds the highest combined h-index at 8,016, while universities account for 73% of the deduplicated total across AI organizations.
  4. The Massachusetts Institute of Technology trained or employed 44 of the 187 AI major-prize winners, more than any other universityIncludes Simon Fraser 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.

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 Veronica Dahl yet. Send us a free-licensed photo.

  1. Veronica Dahl - Wikipedia en.wikipedia.org. Checked 20 October 2026.
  2. CV - Veronica Dahl - Simon Fraser University sfu.ca. Checked 20 October 2026.
  3. ALP Awards – Association for Logic Programming logicprogramming.org. Checked 20 October 2026.
  4. Organization — 2022: The Year of Prolog prologyear.logicprogramming.org. Checked 20 October 2026.
  5. [2201.10816] Fifty Years of Prolog and Beyond arxiv.org. Checked 20 October 2026.
  6. PEG 2025 @ ICLP — Welcome to The Prolog Education Group! prolog-lang.org. Checked 20 October 2026.