Veronica Dahl
Verónica Dahl | |
---|---|
Born | |
Citizenship | Argentine/Canadian |
Alma mater | Universidad de Buenos Aires University of Aix-Marseille II |
Known for | Logic programming |
Awards | Founder of Logic Programming (ALP 1997) |
Scientific career | |
Fields | Computer science Bioinformatics Cognitive science |
Institutions | Simon Fraser University |
Thesis | Un systeme deductif d’interrogation de banques de donnees en espagnol (1977) |
Doctoral advisor | Alain Colmerauer |
Verónica Dahl is an Argentine/Canadian computer scientist, who is recognized as one of the 15 founders of the field of logic programming.[1]
Early life
Dahl attended college at Buenos Aires University, and graduated from there with a degree in computer science in 1974.[2][3] 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.[3]
Career
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.[3] Dahl's research and methodologies became multi-disciplinary including Computational Linguistics, Computational Molecular Biology, and Artificial Intelligence.[4] She became an associate professor at Simon Fraser University in 1982, and became a full professor there in 1991.[2] Dahl is a woman pioneer in a male-dominated field. She fought gender inequality while she was a professor at Simon Frasier University, including getting childcare expenses reimbursed while traveling for out-of-town lectures, and starting a university-wide investigation into women's lower salaries. After Simon Frasier University refused to reimburse her $17 for childcare expenses while she was guest-speaking at a lecture, she went first to her department and then Natural Sciences and Engineering Research Council of Canada (NSERC) with her protest, which ended with the NSERC changing their policy to make childcare a covered expense for researchers they funded.[3] 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.[2][3]
Research
Dahl's research was focused on "bridging the gap between the formal and the humanistic sciences, and to achieve more human-like communication with computers." Dahl has research that has had theoretical and practical use in logic, linguistics, intelligence, and molecular biology.[2]
Most Significant Scholarly Publications
- Language-proficient Knowledge Bases and the World Wide Web[2]
- Intelligent methodologies for Life Sciences, in particular Molecular Biology[2]
- Properties as constraints—from parsing to cognitive modeling[2]
- Integrating high level methodologies into a new language: HYPROLOG[2]
Honors and awards
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 2009, she received the Best Promising Paper Award at the Third International Work-Conference on the Interplay between Natural and Artificial Computation (2009).[5] In 2008–2011, she received the Marie Curie Chair of Excellence Award from the European Commission.[2]
Books
- (1989) Abramson, H. & Dahl, V. Logic Grammars. Springer.
Literary works
Prose
- (1999) Love to Hide, Love to Invent. First Prize in the Prose Category, Cecilia Lamont Literary Contest.[6]
- (2000) Detour. First Prize, Crime55 literary contest.[6]
- (2000) A Case of Possession. First Prize in the Prose Category, Cecilia Lamont Literary Contest.[6]
Poetry
- (2000) Wholeness. Finalist of the 11th Annual Poetry contest, Hope Writers Guild.[6]
- (2000) Life Tides. Finalist of the Millenium 2000 Poetry contest.[6]
See also
References
- ^ "Association for Logic Programming".
- ^ a b c d e f g h i "CV – Veronica Dahl". Simon Fraser University.
- ^ a b c d e Millar, Erin. "Gender equality eludes groundbreaking scientist". The Globe and Mail. The Globe and Mail.
- ^ Dahl, Veronica. "Constraint Solving and Language processing for Bioinformatics – a three-way interdisciplinary project". Research Group on Mathematical Linguistics (GRLMC).
Marie Curie Chair of Excellence, European Commission
- ^ Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy
- ^ a b c d e "Double Life of Veronica Dahl". Simon Fraser University.
- Living people
- Argentine emigrants to Canada
- Argentine computer scientists
- Canadian computer scientists
- Canadian women scientists
- Argentine women scientists
- Simon Fraser University faculty
- Logic programming researchers
- Canadian women computer scientists
- 20th-century women scientists
- 21st-century women scientists