WikiDer > Вероника Даль

Veronica Dahl
Вероника Даль
Родившийся
Аргентина
ГражданствоАргентинский/Канадский
Альма-матерУниверситет Буэнос-Айреса
Университет Экс-Марсель II
ИзвестенЛогическое программирование
НаградыОснователь логического программирования (ALP 1997)
Научная карьера
ПоляИнформатика
Биоинформатика
Наука о мышлении
УчрежденияУниверситет Саймона Фрейзера
ТезисUn systeme deductif d’interrogation de banques de donnees en espagnol (1977)
ДокторантАлен Колмерауэр

Вероника Даль является Аргентинский/Канадский специалист в области информатики, который признан одним из 15 основоположников отрасли логическое программирование.[1]

Ранние годы

Даль учился в колледже в Университет Буэнос-Айресаи окончил его по специальности информатика в 1974 году.[2][3] Поскольку политический конфликт в Аргентине увеличился, Даль учился в аспирантуре во Франции. В 1977 году она была первым выпускником Université d'Aix-Marseille получить докторскую степень в Искусственный интеллект.[3]

Карьера

Работая над докторской степенью, Даль стала пионером в области логическое программированиеи создал первую программу, использующую логическое программирование для определения запросов и команд, которые были выданы на человеческом языке.[3] Исследования и методологии Даля стали междисциплинарными, включая вычислительную лингвистику, вычислительную молекулярную биологию и искусственный интеллект.[4] Она стала доцентом в Университет Саймона Фрейзера в 1982 г. и стал там профессором в 1991 г.[2] Даль - женщина-пионер в области, где доминируют мужчины. Она боролась с гендерным неравенством, когда была профессором Университета Саймона Фрейзера, включая возмещение расходов по уходу за детьми во время поездок на лекции за город, а также начало общеуниверситетского расследования более низких зарплат женщин. После того, как Университет Саймона Фрейзера отказался возместить ей 17 долларов на расходы по уходу за ребенком, когда она выступала с гостем на лекции, она сначала пошла на свой факультет, а затем Совет по естественным наукам и инженерным исследованиям Канады (NSERC) с ее протестом, который закончился тем, что NSERC изменило свою политику, сделав уход за детьми покрываемым расходом для исследователей, которых они финансировали.[3] Она работала с IBM, Vancouver Software Labs и International Artificial Intelligence в качестве консультанта. Работая с IBM, она заключила рекордный исследовательский контракт. Она занимала пост президента Ассоциации логического программирования с 2001 по 2005 год. Она ушла с преподавания в Университете Саймона Фрейзера в 2013 году.[2][3]

Исследование

Исследования Даля были направлены на «преодоление разрыва между формальными и гуманистическими науками и достижение более человечного общения с компьютерами». У Даля есть исследования, которые нашли теоретическое и практическое применение в логике, лингвистике, интеллекте и молекулярной биологии.[2]

Наиболее важные научные публикации

  1. Базы знаний со знанием языка и всемирная паутина[2]
  2. Интеллектуальные методологии для наук о жизни, в частности молекулярной биологии[2]
  3. Свойства как ограничения - от анализа до когнитивного моделирования[2]
  4. Интеграция методологий высокого уровня в новый язык: HYPROLOG[2]

Почести и награды

За свою карьеру Даль получила множество наград и наград. В 1994 году Даль получил премию Галуста Гюльбенкяна в области науки и технологий. В 1997 году она была названа одним из основателей логического программирования. Ассоциация логического программирования. В 2009 году она получила награду за лучшую перспективную работу на Третьей Международной конференции по взаимодействию естественных и искусственных вычислений (2009).[5] В 2008–2011 годах она получила Премию Марии Кюри за выдающиеся достижения от Европейской комиссии.[2]

Книги

  • (1989) Абрамсон, Х. и Даль, В. Логические грамматики. Springer.

Литературные произведения

Проза

  • (1999) Любовь скрывать, любовь изобретать. Первая премия в категории «Проза» на литературном конкурсе имени Сесилии Ламонт.[6]
  • (2000) Объезд. Первая премия литературного конкурса «Преступление55».[6]
  • (2000) Случай одержимости. Первая премия в категории «Проза» на литературном конкурсе имени Сесилии Ламонт.[6]

Поэзия

Смотрите также

Рекомендации

  1. ^ «Ассоциация логического программирования».
  2. ^ а б c d е ж грамм час я "Резюме - Вероника Даль". Университет Саймона Фрейзера.
  3. ^ а б c d е Миллар, Эрин. «Гендерное равенство ускользает от передовых ученых». Глобус и почта. Глобус и почта.
  4. ^ Даль, Вероника. «Решение ограничений и языковая обработка для биоинформатики - трехсторонний междисциплинарный проект». Исследовательская группа по математической лингвистике (GRLMC). Мария Кюри, председатель совета директоров Европейской комиссии
  5. ^ Методы и модели в искусственных и естественных вычислениях. Дань научному наследию профессора Миры
  6. ^ а б c d е "Двойная жизнь Вероники Даль". Университет Саймона Фрейзера.