Loading article…
ヴェロニカ・ダール | |
|---|---|
 | |
| 生まれる | |
| 市民権 | アルゼンチン/カナダ |
| 母校 | ブエノスアイレス大学 エクス マルセイユ第 2 大学 |
| 知られている | 論理プログラミング |
| 受賞歴 | ロジックプログラミングの創始者( ALP 1997) |
| 科学者としてのキャリア | |
| フィールド | コンピュータサイエンス バイオインフォマティクス 認知科学 |
| 機関 | サイモンフレーザー大学 |
| 論文 | スペイン銀行の尋問に対する控除制度 (1977) |
| 博士課程の指導教員 | アラン・コルメロー |
ヴェロニカ・ダールはアルゼンチン系カナダ人の コンピュータ科学者です。彼女は論理プログラミングの分野を創始した15人の一人として知られています。[1]
若いころ
ダールはブエノスアイレス大学に進学し、1974年にコンピュータサイエンスの学位を取得して卒業した。 [2] [3]アルゼンチンの政治的対立が激化する中、ダールはフランスの大学院に進学した。1977年、彼女はエクス・マルセイユ大学で人工知能の博士号を取得した最初の卒業生となった。[3]
キャリア
博士号取得のための研究に携わる一方で、ダールは論理プログラミングの分野の先駆者となり、最初の論理プログラミングデータベースシステムと、それを人間の言語（スペイン語）で参照するための（これも論理プログラミングされた）フロントエンドを開発しました。[3]ダールの研究と方法論は学際的なものとなり、計算言語学、計算分子生物学、人工知能が含まれていました。[4]彼女は1982年にサイモンフレーザー大学の准教授になり、1991年に同大学の教授になりました。 [2]彼女は1996年に論理プログラミング協会から論理プログラミング分野の15人の創始者の一人として表彰され、論理文法と制約処理規則の分野でも広範囲に渡って開拓してきました。
ダールは男性優位の分野における女性の先駆者です。彼女はサイモンフレーザー大学の教授時代に、メンタリングや模範となること、そして具体的な行動を通じて男女不平等と闘いました。彼女は乳児を連れてビクトリアに旅行し、サイモンフレーザー大学からゲストスピーチ中に受けた育児費用17ドルの払い戻しを拒否された後、彼女はまず学部に行き、次にカナダ自然科学・工学研究会議（NSERC）に抗議しました。その結果、NSERCは方針を変更し、彼らが資金提供している看護研究者の育児を保険でカバーする経費にしました。[3]彼女は論理プログラミング会議での育児の提供を提案し、積極的に推進し、それが正式に定款に採用されるまで続け、その結果、今では日常的に提供されています。 [ 3]彼女はまた、双子を出産した際に生命を脅かす病状が原因で大学院生が遅れたためにタイムアウトになったというSFUの法律の変更も実現させました。[3]
彼女は数多くの国際研究プロジェクトや共同研究を展開してきましたが、特にデンマーク、スペイン、ポルトガル、ドイツ、フランスとの共同研究が顕著で、IBM、バンクーバーソフトウェアラボ、International Artificial Intelligenceで働いていました。IBMでの仕事では、記録的な研究契約を獲得しました。彼女は2001年から2005年まで論理プログラミング協会の会長を務めました。彼女はバイオインフォマティクスの制約解決と言語処理に関する先駆的な研究により、2008年から2011年まで欧州委員会から名誉あるマリー・キュリー優秀教授を授与されました。彼女は2012年に研究に専念するためサイモンフレーザー大学の教授職を辞任しました。SFUは2013年から彼女に終身名誉教授の地位を与えました。彼女の研究プログラムはNSERCの資金提供を受けて、また彼女自身のAI企業であるRegenerative AIを通じて継続されており、彼女はIMDEA Softwareの科学諮問委員会で委員を務めています。彼女は音楽、演劇、ダンスを学ぶ学生として科学的な活動と芸術的な活動を両立させており、バンクーバーで歌手やギタリストとして定期的に公演を行っている。[2] [3]
研究
ダールの研究は、「形式科学と人文科学のギャップを埋め、コンピューターとのより人間的なコミュニケーションを実現すること」に焦点を当てています。そのため、研究は多面的ですが、常に彼女が開拓に貢献した推論プログラミングの主要な形態、つまり論理プログラミング、制約ベースプログラミング、論理文法を中心に展開しています。また、彼女は Prolog、Hyprolog、CHRG に非古典的な推論機能を組み込みました。ダールの研究は、論理、言語学、計算知能、インターネットプログラミング、仮想世界、分子生物学において理論的かつ実践的な影響を与えてきました。[2]
シグネチャーオリゴの発見に関する研究は、カナダ農務省で日常的に使用されるソフトウェアを生み出しました。この研究は、すべてのフィトフトラ属菌種のアレイの検証にも使用され、林業（この菌種の 1 つは、カリフォルニアを壊滅させているオークの突然死の原因物質であるため）、海洋科学（ハワイのサンゴ礁の生物多様性の監視に使用されている）、昆虫学（刺咬性ハエの特徴付け）、魚の不正販売の検出に大きな影響を与えています。現在の彼女の研究は、リソース不足の言語の 文法誘導と、AI の連帯と支配を促進する使用に焦点を当てています。
最も重要な学術出版物
- 言語に精通した知識ベースとワールドワイドウェブ[2]
- 生命科学、特に分子生物学のためのインテリジェントな方法論[2]
- 制約としての性質 - 構文解析から認知モデリングまで[2]
- 高水準の方法論を新しい言語に統合する：HYPROLOG [2]
栄誉と賞
ダールはキャリアの中で多くの栄誉と賞を受賞しています。1994年、ダールは科学技術部門のカルースト・グルベンキアン賞を受賞しました。1997年には、論理プログラミング協会によって論理プログラミングの創設メンバーの一人に選ばれました。2009年には、第3回自然計算と人工計算の相互作用に関する国際会議（2009年）で最優秀有望論文賞を受賞しました。[5]
書籍
- (1989) Abramson, H. & Dahl, V. Logic Grammars . Springer.
文学作品
散文
- （1999年）『隠すのも愛する、創作するのも愛する』セシリア・ラモント文学コンテスト散文部門最優秀賞。[6]
- （2000）Detour。Crime55文学コンテスト第1位。[6]
- （2000年）『憑依の事件』セシリア・ラモント文学コンテスト散文部門第1位。[6]
詩
- （2000）Wholeness。ホープ作家ギルド第11回詩コンテストのファイナリスト。[6]
- （2000年）『Life Tides 』 。ミレニアム2000詩コンテストのファイナリスト。[6]
参照
参考文献
- ^ 「論理プログラミング協会」。
- ^ abcdefgh 「CV – Veronica Dahl」.サイモンフレーザー大学。
- ^ abcdefg ミラー、エリン。「画期的な科学者もジェンダー平等を実現できない」。グローブ・アンド・メール。
- ^ Dahl, Veronica. 「バイオインフォマティクスのための制約解決と言語処理 - 3者間学際プロジェクト」。数理言語学研究グループ (GRLMC)。
欧州委員会 Marie Curie 卓越性チェア
- ^ 人工および自然計算における方法とモデル。ミラ教授の科学的遺産へのオマージュ。コンピュータサイエンスの講義ノート。第 5601 巻。2009 年。doi :10.1007 / 978-3-642-02264-7。ISBN 978-3-642-02263-0。
- ^ abcde 「ヴェロニカ・ダールの二重生活」サイモンフレーザー大学。