Veronica Dahl facts for kids
Quick facts for kids
Verónica Dahl
|
|
|---|---|
 |
|
| Born | |
| Citizenship | Argentine/Canadian |
| Alma mater | Universidad de Buenos Aires University of Aix-Marseille II |
| Known for | Logic programming |
| Awards | Co-Founder of Logic Programming (ALP 1997) |
| Scientific career | |
| Fields | Computer science Bioinformatics Cognitive science |
| Institutions | Simon Fraser University |
| Thesis | Un système déductif d’interrogation de banques de données en espagnol (1977) |
| Doctoral advisor | Alain Colmerauer |
Verónica Dahl is an Argentine and Canadian computer scientist. She is known as one of the 15 people who helped start the field of logic programming. This is a way of telling computers what to do using rules of logic. Today, she leads the Prolog Education Group 2.0.
Contents
Early Life and Education
Verónica Dahl went to college at Buenos Aires University in Argentina. She earned her degree in computer science in 1974. Because of political problems in Argentina at the time, she decided to go to graduate school in France. In 1977, she made history at the Université d'Aix-Marseille. She was the first person there to get a doctorate degree in Artificial Intelligence. A doctorate is the highest university degree you can get. Artificial Intelligence (AI) is about making computers think and learn like humans.
A Career in Computer Science
While studying for her doctorate, Dahl became a very important person in logic programming. She created the first computer system that used logic programming to manage information. She also made a way for people to ask questions in Spanish and get answers from this system.
Dahl's work became very broad, combining different areas of study. These included how computers understand language, how computers can help study living things (like DNA), and Artificial Intelligence.
Becoming a Professor
In 1982, she became a professor at Simon Fraser University in Canada. By 1991, she was a full professor. In 1996, the Logic Programming Association honored her as one of the 15 founders of the field. She also did important work in areas like Logic Grammars and Constraint Handling Rules.
Fighting for Fairness
Verónica Dahl is a woman who became a leader in a field mostly dominated by men. She worked hard to fight against unfair treatment. She helped other women by being a mentor and a role model. She also took direct action to make things better.
For example, her university once refused to pay for childcare when she traveled for a speech with her baby. She protested this decision. Her protest led to the Natural Sciences and Engineering Research Council of Canada (NSERC) changing its rules. Now, childcare is a covered expense for nursing researchers they fund.
She also pushed for childcare to be offered at logic programming conferences. Because of her efforts, it is now a regular part of these events. She even helped change university rules at Simon Fraser University. This happened when one of her students almost lost their spot because of health problems after having twins.
Later Career and Interests
Dahl has worked on many international research projects. She collaborated with scientists in countries like Denmark, Spain, and Germany. She also worked with big companies like IBM. She even started her own company, Regenerative AI. Her work with IBM led to a very successful research contract.
From 2001 to 2005, she was the president of the Association of Logic Programming. In 2008, she received a special award called the Marie Curie Chair of Excellence from the European Commission. This was for her important work in combining logic with understanding language for biology.
In 2012, she left her full professor job at Simon Fraser University to focus more on research. The university gave her the title of Lifetime Professor Emeritus in 2013. This means she can still be involved with the university. She continues her research and is part of the Scientific Advisory Board of IMDEA Software. She also leads the PEG 2.0 group.
Outside of science, Verónica Dahl enjoys music, theater, and dance. She often performs as a singer and guitarist in Vancouver.
Research Focus
Dahl's research aims to connect the world of formal computer science with human ways of thinking. She wants to make computers communicate more like humans. Her work always centers on logic programming, which she helped create. She also added new ways of thinking to computer languages like Prolog.
Her research has made a difference in many areas. These include logic, how language works, computer intelligence, internet programming, and even molecular biology.
Discovering Important Information
One of her projects helped discover special DNA markers called "oligos." The software she developed is used daily by Agriculture and Agri-Food Canada. It has helped identify different types of plant diseases, which is important for forests. It has also been used to study ocean life and identify insects. Her work even helps detect if fish are being sold illegally.
Her current research focuses on helping computers learn languages that don't have many resources. She also works on using AI to solve social and environmental problems. She wants to make logical thinking and trustworthy coding skills available to more people.
Honors and Awards
Verónica Dahl has received many awards throughout her career:
- In 1994, she received the Calouste Gulbenkian Award for Science and Technology.
- In 1997, she was named one of the founding members in logic programming by the Association for Logic Programming.
- In 2009, she won the Best Paper Award at a conference about how natural and artificial intelligence work together.
Books
- (1989) Abramson, H. & Dahl, V. Logic Grammars. Springer.
Literary Works
Prose
- (1999) Love to Hide, Love to Invent. This won First Prize in the Prose Category of the Cecilia Lamont Literary Contest.
- (2000) Detour. This won First Prize in the Crime55 literary contest.
- (2000) A Case of Possession. This won First Prize in the Prose Category of the Cecilia Lamont Literary Contest.
Poetry
- (2000) Wholeness. This was a finalist in the 11th Annual Poetry contest, Hope Writers Guild.
- (2000) Life Tides. This was a finalist in the Millenium 2000 Poetry contest.
See also
In Spanish: Verónica Dahl para niños
