Weronika Dahl

Weroniki Dahl
December 2020 Interview.png
Urodzić się
Argentyna
Obywatelstwo Argentyński / Kanadyjski
Alma Mater
Universidad de Buenos Aires Uniwersytet Aix-Marseille II
Znany z Programowanie logiczne
Nagrody Założyciel programowania logicznego ( ALP 1997)
Kariera naukowa
Pola

Informatyka Bioinformatyka Kognitywistyka
Instytucje Uniwersytet Simona Frasera
Praca dyplomowa   Un systeme deductif d'interrogation de banques de donnees en espagnol (1977)
Doradca doktorski Alaina Colmerauera

Verónica Dahl jest argentyńsko - kanadyjskim informatykiem , uznawanym za jednego z 15 założycieli dziedziny programowania logicznego .

Wczesne życie

Dahl uczęszczał do college'u na Uniwersytecie w Buenos Aires , który ukończył z dyplomem z informatyki w 1974 roku. W miarę narastania konfliktu politycznego w Argentynie Dahl uczęszczał do szkoły podyplomowej we Francji. W 1977 roku jako pierwsza absolwentka Université d'Aix-Marseille uzyskała stopień doktora w dziedzinie sztucznej inteligencji .

Kariera

Zaangażowana w badania do swojego doktoratu, Dahl stała się pionierem w dziedzinie programowania logicznego , opracowując zarówno pierwszy system bazy danych programowania logicznego, jak i (również zaprogramowany logicznie) front-end do konsultowania go w ludzkim języku (hiszpańskim). Badania i metodologie Dahla stały się multidyscyplinarne, w tym lingwistyka komputerowa, obliczeniowa biologia molekularna i sztuczna inteligencja. Została profesorem nadzwyczajnym na Uniwersytecie Simona Frasera w 1982 r. i została tam profesorem zwyczajnym w 1991 r. W 1996 r. została uhonorowana przez Stowarzyszenie Programowania Logicznego jako jedna z 15 założycieli pola programowania logicznego, a także była pionierem w obszarach gramatyk logicznych i reguł obsługi ograniczeń.

Dahl jest pionierką w dziedzinie zdominowanej przez mężczyzn. Walczyła z nierównością płci, gdy była profesorem na Uniwersytecie Simona Frasera , zarówno poprzez mentoring i modelowanie ról, jak i poprzez konkretne działania. Po tym, jak Uniwersytet Simona Frasera odmówił jej zwrotu 17 dolarów kosztów opieki nad dziećmi, kiedy wygłaszała gościnne przemówienie w Victorii, gdzie podróżowała ze swoim karmiącym dzieckiem, udała się najpierw do swojego wydziału, a następnie do Kanadyjskiej Rady Nauk Przyrodniczych i Badań Inżynieryjnych ( NSERC ) jej protestem, który zakończył się zmianą polityki NSERC, aby opieka nad dziećmi była pokrywanym wydatkiem dla badaczy pielęgniarstwa, których finansowali. Zaproponowała i aktywnie promowała zapewnienie opieki nad dziećmi na konferencjach poświęconych programowaniu logicznemu, dopóki nie zostało to formalnie przyjęte do ich konstytucji, a teraz jest rutynowo oferowane w rezultacie. Uzyskała również zmianę w ustawodawstwie SFU, w wyniku której jej doktorant został przekroczony limit czasu z powodu opóźnień spowodowanych zagrażającymi życiu stanami medycznymi po urodzeniu bliźniaków.

Opracowała wiele międzynarodowych projektów badawczych i współpracy, w szczególności z Danią, Hiszpanią, Portugalią, Niemcami i Francją, pracowała także z IBM , Vancouver Software Labs, International Artificial Intelligence. W ramach współpracy z IBM uzyskała rekordowy kontrakt badawczy. W latach 2001-2005 pełniła funkcję prezesa Stowarzyszenia Programowania Logiki. Otrzymała od Komisji Europejskiej prestiżową nagrodę Marie Curie Chair of Excellence 2008-2011 za pionierską pracę nad Constraint Solving and Language Processing for Bioinformatics. W 2012 roku zrezygnowała ze stanowiska profesora zwyczajnego na Uniwersytecie Simona Frasera aby skupić się na badaniach. SFU przyznała jej status Lifetime Professor Emerits od 2013 r. Jej program badawczy jest kontynuowany w ramach finansowania NSERC, a także za pośrednictwem jej własnej firmy zajmującej się sztuczną inteligencją, Regenerative AI, i zasiada w Naukowej Radzie Doradczej IMDEA Software. Równoważy swoją działalność naukową z artystyczną, jako studentka muzyki, teatru i tańca oraz regularnie występuje jako piosenkarka i gitarzystka w Vancouver.

Badania

Badania Dahla koncentrują się na „wypełnianiu luki między naukami formalnymi i humanistycznymi oraz na osiągnięciu komunikacji z komputerami bardziej przypominającej człowieka”. Jako taka jest wielopłaszczyznowa, ale zawsze obraca się wokół głównych wcieleń programowania inferencyjnego, które była pionierem: programowania logicznego, programowania opartego na ograniczeniach i gramatyk logicznych. Włączyła również nieklasyczne możliwości rozumowania do Prologu, Hyprologu i CHRG. Badania Dahla wywarły teoretyczny i praktyczny wpływ na logikę, językoznawstwo, inteligencję obliczeniową, programowanie internetowe, światy wirtualne i biologię molekularną.

Jej praca nad odkryciem charakterystycznych oligonukleotydów , która zaowocowała codziennym używaniem oprogramowania w Agriculture and Agri-Food Canada, została również wykorzystana do zakończenia walidacji tablicy dla wszystkich gatunków Phytophthora, co ma duży wpływ na leśnictwo (ponieważ jeden z gatunków jest czynnik sprawczy nagłej śmierci dębu, który niszczy Kalifornię), nauk o morzu (wykorzystywano go do monitorowania różnorodności biologicznej hawajskich raf koralowych), entomologii (do charakteryzowania much gryzących) i wykrywania nieuczciwej sprzedaży ryb. Jej obecne badania koncentrują się na indukcji gramatycznej w przypadku języków o niewystarczających zasobach oraz w sprawie solidarności i promowania dominacji w zastosowaniach sztucznej inteligencji.

Najbardziej znaczące publikacje naukowe

  1. Bazy wiedzy biegle posługujące się językami i sieć WWW
  2. Inteligentne metodologie dla nauk o życiu, w szczególności biologii molekularnej
  3. Właściwości jako ograniczenia — od analizy składniowej do modelowania kognitywnego
  4. Integracja metodologii wysokiego poziomu w nowy język: HYPROLOG

Honory i nagrody

Dahl otrzymała w swojej karierze wiele wyróżnień i nagród. W 1994 roku Dahl otrzymał Calouste Gulbenkiana w dziedzinie nauki i technologii. W 1997 roku została wymieniona jako jeden z członków-założycieli w dziedzinie programowania logicznego przez Association for Logic Programming . W 2009 roku otrzymała nagrodę za najlepszy obiecujący artykuł na trzeciej międzynarodowej konferencji roboczej na temat interakcji między obliczeniami naturalnymi i sztucznymi (2009).

Książki

  • (1989) Abramson, H. & Dahl, V. Gramatyki logiczne . Skoczek.

Dzieła literackie

Proza

Poezja

  • (2000) Całość . Finalistka XI Dorocznego Konkursu Poetyckiego Stowarzyszenia Pisarzy Nadziei.
  • (2000) Przypływy życia . Finalista konkursu poetyckiego Millenium 2000.

Zobacz też

Pobrano z „ https://en.wikipedia.org/w/index.php?title=Veronica_Dahl&oldid=1140137662 ”