Veronika Dahl - Veronica Dahl

Veronika Dahl
Tug'ilgan
Argentina
FuqarolikArgentinalik /Kanadalik
Olma materBuenos-Ayres universiteti
Eks-Marsel II universiteti
Ma'lumMantiqiy dasturlash
MukofotlarMantiqiy dasturlash asoschisi (ALP 1997)
Ilmiy martaba
MaydonlarKompyuter fanlari
Bioinformatika
Kognitiv fan
InstitutlarSimon Freyzer universiteti
TezisUn systeme deductif d'interrogation de banques de donnees en espagnol (1977)
Doktorlik bo'yicha maslahatchiAlen Kolmerauer

Veronika Dahl bu Argentinalik /Kanadalik kompyutershunos, sohasining 15 asoschilaridan biri sifatida tan olingan mantiqiy dasturlash.[1]

Hayotning boshlang'ich davri

Dahl kollejda o'qidi Buenos-Ayres universiteti va 1974 yilda u erda kompyuter fanlari mutaxassisligi bo'yicha bitirgan.[2][3] Sifatida Argentinadagi siyosiy ziddiyat ortdi, Dahl Frantsiyadagi aspiranturada o'qidi. 1977 yilda u birinchi bitiruvchidir Olti Marsel universiteti yilda doktorlik unvonini olish Sun'iy intellekt.[3]

Karyera

Doktorlik ilmiy-tadqiqot ishlarida qatnashgan Dahl bu sohada kashshof bo'ldi mantiqiy dasturlash va inson tilida berilgan so'rovlar va buyruqlarni aniqlash uchun mantiqiy dasturlashdan foydalanadigan birinchi dasturni yaratdi.[3] Dahlning tadqiqotlari va metodikasi ko'p tarmoqli bo'ldi, shu jumladan hisoblash lingvistikasi, hisoblash molekulyar biologiyasi va sun'iy intellekt.[4] U dotsent bo'ldi Simon Freyzer universiteti 1982 yilda va 1991 yilda u erda to'liq professor bo'ldi.[2] Dahl - erkaklar ustun bo'lgan sohada kashshof ayol. U Simon Frasier universiteti professori bo'lganida, gender tengsizligi bilan kurashgan, shu jumladan, shahar tashqarisidagi ma'ruzalarda sayr qilish paytida bolalarni parvarish qilish xarajatlarini qoplash va ayollarning ish haqining pastligi bo'yicha universitet miqyosida tergovni boshlash. Saymon Frazier universiteti ma'ruzada mehmon sifatida nutq so'zlagan paytida unga bolalarni parvarish qilish xarajatlari uchun $ 17ni to'lashdan bosh tortgandan so'ng, u avval o'z bo'limiga, keyin Kanadaning Tabiiy fanlar va muhandislik tadqiqotlari kengashi (NSERC) uning noroziligi bilan, NSERC o'zlarining moliyalashtirgan tadqiqotchilari uchun bolalarni parvarish qilishni qoplanadigan xarajat qilish siyosatini o'zgartirishi bilan yakunlandi.[3] U bilan ishlagan IBM, Vankuver dasturiy laboratoriyalari va xalqaro sun'iy intellekt maslahatchi sifatida. IBM bilan ishlashda u rekord darajadagi tadqiqot shartnomasini tuzdi. 2001-2005 yillarda Mantiqiy dasturlash assotsiatsiyasi prezidenti bo'lib ishlagan. U 2013 yilda Simon Freyzer universitetida o'qituvchilikdan nafaqaga chiqqan.[2][3]

Tadqiqot

Dalning tadqiqotlari "rasmiy va gumanistik fanlar o'rtasidagi tafovutni bartaraf etish va kompyuterlar bilan ko'proq insoniy aloqaga erishish" ga qaratilgan edi. Dahlda mantiq, tilshunoslik, aql va molekulyar biologiyada nazariy va amaliy qo'llanilgan tadqiqotlar mavjud.[2]

Eng muhim ilmiy nashrlar

  1. Tilni yaxshi biladigan bilim bazalari va Butunjahon Internet tarmog'i[2]
  2. Hayot fanlari, xususan, molekulyar biologiya uchun aqlli metodologiyalar[2]
  3. Xususiyatlar cheklov sifatida - tahlil qilishdan kognitiv modellashtirishgacha[2]
  4. Yuqori darajadagi metodologiyalarni yangi tilga integratsiyalash: HYPROLOG[2]

Faxriy va mukofotlar

Dahl faoliyati davomida ko'plab sharaf va mukofotlarga sazovor bo'ldi. 1994 yilda Dahl Kalusta Gulbenkian nomidagi ilmiy va texnika mukofotiga sazovor bo'ldi. 1997 yilda u mantiqiy dasturlashning asoschilaridan biri deb nomlandi Mantiqiy dasturlash assotsiatsiyasi. 2009 yilda u "Tabiiy va sun'iy hisoblash o'rtasidagi o'zaro bog'liqlik" (2009) Uchinchi Xalqaro ishchi konferentsiyada "Eng yaxshi istiqbolli hujjat" mukofotini oldi.[5] 2008–2011 yillarda u Evropa Komissiyasining Mari Kuryening mukammallik kafedrasi mukofotiga sazovor bo'ldi.[2]

Kitoblar

  • (1989) Abramson, H. & Dahl, V. Mantiqiy grammatikalar. Springer.

Adabiy asarlar

Nasr

She'riyat

  • (2000) Yaxlitlik. 11-yillik she'riyat tanlovining finalchisi, Umid yozuvchilar uyushmasi.[6]
  • (2000) Life Tides. Millenium 2000 she'riyat tanlovining finalisti.[6]

Shuningdek qarang

Adabiyotlar

  1. ^ "Mantiqiy dasturlash assotsiatsiyasi".
  2. ^ a b v d e f g h men "CV - Veronika Dahl". Simon Freyzer universiteti.
  3. ^ a b v d e Millar, Erin. "Gender tengligi poydevor yaratuvchi olimdan qochib qutulmoqda". Globe and Mail. Globe and Mail.
  4. ^ Dahl, Veronika. "Bioinformatika uchun cheklovlarni echish va tillarni qayta ishlash - uch tomonlama fanlararo loyiha". Matematik tilshunoslik bo'yicha tadqiqot guruhi (GRLMC). Mari Kyuri Evropa Komissiyasining mukammallik kafedrasi
  5. ^ Sun'iy va tabiiy hisoblash usullari va modellari. Professor Miraning ilmiy merosiga hurmat
  6. ^ a b v d e "Veronika Dahlning ikki karra hayoti". Simon Freyzer universiteti.