Veronica Dahl

Verónica Dahl is an Argentine/Canadian computer scientist, who is recognized as one of the 15 founders of the field of logic programming.

Dahl attended college at Buenos Aires University, and graduated from there with a degree in computer science in 1974. As the political conflict in Argentina increased, Dahl attended graduate school in France. In 1977, she was one of the first female graduates at the Université d'Aix-Marseille to receive a doctorate in Artificial Intelligence.

While involved in the research for her doctorate, Dahl became a pioneer in the field of logic programming, and created the first program to utilize logic programming to determine queries and commands that were issued in a human language. Dahl's research and methodologies became multi-disciplinary including Computational Linguistics, Computational Molecular Biology, and Artificial Intelligence. She became an associate professor at Simon Fraser University in 1982, and became a full professor there in 1991. She has worked with IBM, Vancouver Software Labs, and International Artificial Intelligence as a consultant. In her work with IBM, she negotiated a record-breaking research contract. She served as president of the Association of Logic Programming from 2001-2005. She retired from teaching at Simon Fraser University in 2013.

Dahl has received many honors and awards in her career. In 1994, Dahl received the Calouste Gulbenkian Award for Science and Technology. In 1997, she was named as one of the founding members in logic programming by the Association for Logic Programming. In 2008-2011, she received the Marie Curie Chair of Excellence Award from the European Commission.

• (1989) Abramson, H. & Dahl, V. Logic Grammars. Springer.