Вероника Даль
Вероника Даль | |
|---|---|
 | |
| Рожденный | |
| Гражданство | Аргентинский / Канадский |
| Альма-матер | Университет Буэнос-Айреса Университет Экс-Марсель II |
| Известный | Логическое программирование |
| Награды | Основатель логического программирования ( ALP 1997). |
| Научная карьера | |
| Поля | Информатика Биоинформатика Когнитивная наука |
| Учреждения | Университет Саймона Фрейзера |
| Диссертация | Дедуктивная система запросов к базам данных на испанском языке (1977). |
| Докторантура | Ален Кольмерауэр |
Вероника Даль — аргентинско - канадский ученый-компьютерщик , признанный одним из 15 основателей области логического программирования . [1]
Ранний период жизни
[ редактировать ]Даль учился в колледже Университета Буэнос-Айреса и окончил его со степенью в области компьютерных наук в 1974 году. [2] [3] Поскольку политический конфликт в Аргентине усилился, Даль поступил в аспирантуру во Франции. В 1977 году она стала первой выпускницей Университета Экс-Марсель, получившей докторскую степень в области искусственного интеллекта . [3]
Карьера
[ редактировать ]Участвуя в исследованиях для своей докторской диссертации, Даль стала пионером в области логического программирования , разработав как первую систему баз данных логического программирования, так и интерфейс (также программируемый логикой) для работы с ней на человеческом языке (испанском). [3] Исследования и методологии Даля стали междисциплинарными, включая вычислительную лингвистику, вычислительную молекулярную биологию и искусственный интеллект. [4] Она стала доцентом Университета Саймона Фрейзера в 1982 году и стала там профессором в 1991 году. [2] В 1996 году она была отмечена Ассоциацией логического программирования как одна из 15 основателей области логического программирования, а также стала пионером в области логических грамматик и правил обработки ограничений.
Даль — женщина-пионер в области, где доминируют мужчины. Она боролась с гендерным неравенством, когда была профессором в Университете Саймона Фрейзера , как посредством наставничества и подражания, так и посредством конкретных действий. После того, как Университет Саймона Фрейзера отказался возместить ей 17 долларов на расходы по уходу за ребенком, когда она выступала с гостевой речью в Виктории, куда она путешествовала с грудным ребенком, она пошла сначала на свой факультет, а затем в Совет естественных наук и инженерных исследований Канады (NSERC). ) с ее протестом, который закончился тем, что NSERC изменил свою политику, чтобы сделать уход за детьми покрываемыми расходами для исследователей в области сестринского дела, которые они финансировали. [3] Она предлагала и активно продвигала предоставление услуг по уходу за детьми на конференциях по логическому программированию, пока это не было официально включено в их конституцию и в результате теперь предлагается регулярно. [3] Она также добилась изменения в законодательстве СФУ, когда оно привело к тому, что ее аспирантке был предоставлен тайм-аут из-за задержек, вызванных опасными для жизни заболеваниями при рождении близнецов. [3]
Она разработала множество международных исследовательских проектов и сотрудничала, в первую очередь с Данией, Испанией, Португалией, Германией и Францией, а также работала с IBM , Vancouver Software Labs, International Artificial Intelligence. Работая в IBM, она получила рекордный исследовательский контракт. С 2001 по 2005 год она занимала пост президента Ассоциации логического программирования. Она была награждена престижной премией Марии Кюри за выдающиеся достижения в 2008–2011 годах от Европейской комиссии за новаторскую работу в области решения ограничений и языковой обработки в биоинформатике. В 2012 году она оставила должность профессора в Университете Саймона Фрейзера, чтобы сосредоточиться на исследованиях. СФУ присвоил ей статус пожизненного почетного профессора с 2013 года. Ее исследовательская программа продолжается при финансировании NSERC, а также через ее собственную компанию по искусственному интеллекту Regenerative AI, и она работает в Научно-консультативном совете IMDEA Software. Она совмещает свою научную деятельность с творческой, изучая музыку, театр и танцы, и регулярно выступает в качестве певицы и гитаристки в Ванкувере. [2] [3]
Исследовать
[ редактировать ]Исследования Даля направлены на «преодоление разрыва между формальными и гуманитарными науками и достижение более человеческого общения с компьютерами». По существу, оно многогранно, но всегда вращается вокруг основных воплощений логического программирования, пионером которых она стала: логическое программирование, программирование на основе ограничений и логические грамматики. Она также включила возможности неклассического рассуждения в Prolog, Hyprolog и CHRG. Исследования Даля оказали теоретическое и практическое влияние в логике, лингвистике, вычислительном интеллекте, интернет-программировании, виртуальных мирах и молекулярной биологии. [2]
Ее работа по обнаружению сигнатурных олигонуклеотидов , в результате которой программное обеспечение ежедневно используется в сельском хозяйстве и агропромышленном комплексе Канады, также использовалась для завершения проверки массива всех видов Phytophthora, что имело большое значение для лесного хозяйства (поскольку один из видов возбудитель внезапной гибели дуба, опустошающей Калифорнию), для морских наук (он использовался для мониторинга биоразнообразия гавайских коралловых рифов), для энтомологии (для характеристики кусающих мух) и для обнаружения мошенничества при продаже рыбы. Ее нынешнее исследование сосредоточено на грамматическом освоении языков с ограниченными ресурсами, а также на использовании ИИ, способствующем солидарности и доминированию.
Наиболее значимые научные публикации
[ редактировать ]- Базы знаний со знанием языка и Всемирная паутина [2]
- Интеллектуальные методологии для наук о жизни, в частности молекулярной биологии [2]
- Свойства как ограничения — от синтаксического анализа к когнитивному моделированию [2]
- Интеграция методологий высокого уровня в новый язык: HYPROLOG. [2]
Почести и награды
[ редактировать ]За свою карьеру Даль получила множество наград и наград. В 1994 году Даль получил Премию Галуста Гюльбенкяна в области науки и технологий. назвала ее одним из основателей логического программирования В 1997 году Ассоциация логического программирования . В 2009 году она получила награду за лучшую многообещающую работу на Третьей международной рабочей конференции по взаимодействию естественных и искусственных вычислений (2009). [5]
Книги
[ редактировать ]- (1989) Абрамсон, Х. и Даль, В. Логические грамматики . Спрингер.
Литературные произведения
[ редактировать ]Проза
[ редактировать ]- (1999) Любовь скрывать, любовь изобретать . Первая премия в категории прозы на литературном конкурсе Сесилии Ламонт. [6]
- (2000) Объезд . Первая премия литературного конкурса «Преступление55». [6]
- (2000) Дело о владении . Первая премия в категории прозы на литературном конкурсе Сесилии Ламонт. [6]
Поэзия
[ редактировать ]- (2000) Целостность . Финалист 11-го ежегодного конкурса поэзии Гильдии писателей «Надежда». [6]
- (2000) Приливы жизни . Финалист поэтического конкурса «Миллениум 2000». [6]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ «Ассоциация логического программирования» .
- ^ Перейти обратно: а б с д и ж г час «Резюме – Вероника Даль» . Университет Саймона Фрейзера .
- ^ Перейти обратно: а б с д и ж г Миллар, Эрин. «Гендерное равенство ускользает от учёных-новаторов» . Глобус и почта .
- ^ Даль, Вероника. «Решение ограничений и языковая обработка для биоинформатики – трехсторонний междисциплинарный проект» . Исследовательская группа по математической лингвистике (ГРЛМК).
Мария Кюри, председатель передового опыта Европейской комиссии
- ^ Методы и модели в искусственных и естественных вычислениях. Дань уважения научному наследию профессора Миры . Конспекты лекций по информатике. Том. 5601. 2009. doi : 10.1007/978-3-642-02264-7 . ISBN 978-3-642-02263-0 .
- ^ Перейти обратно: а б с д и «Двойная жизнь Вероники Даль» . Университет Саймона Фрейзера .
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
- Живые люди
- Аргентинские эмигранты в Канаду
- Аргентинские ученые-компьютерщики
- Канадские ученые-компьютерщики
- Аргентинские женщины-ученые
- Академический состав Университета Саймона Фрейзера
- Исследователи логического программирования
- Женщины-логики
- Канадские женщины-компьютерщики
- Канадские женщины-учёные XX века
- Канадские женщины-учёные XXI века