Veronica Dahl - Veronica Dahl

Verónica Dahl
Décembre 2020 Interview.png
Née
Argentine
Citoyenneté Argentin / Canadien
mère nourricière Universidad de Buenos Aires
Université Aix-Marseille II
Connu pour Programmation logique
Récompenses Fondateur de Logic Programming ( ALP 1997)
Carrière scientifique
Des champs Informatique
Bioinformatique
Sciences cognitives
Les institutions Université Simon Fraser
Thèse Un systeme deductif d'interrogation de banques de donnees en espagnol   (1977)
Conseiller doctoral Alain Colmerauer

Verónica Dahl est un Argentin / canadien informaticien , qui est reconnu comme l' un des 15 fondateurs du domaine de la programmation logique .

Jeunesse

Dahl a fréquenté l'université de l'Université de Buenos Aires et en a obtenu un diplôme en informatique en 1974. À mesure que le conflit politique en Argentine s'intensifiait, Dahl a fréquenté une école supérieure en France. En 1977, elle est la première diplômée de l' Université d'Aix-Marseille à recevoir un doctorat en Intelligence Artificielle .

Carrière

Tout en participant à la recherche de son doctorat, Dahl est devenue une pionnière dans le domaine de la programmation logique , développant à la fois le premier système de base de données de programmation logique et un frontal (également programmé en logique) pour le consulter dans un langage humain (espagnol). La recherche et les méthodologies de Dahl sont devenues multidisciplinaires, notamment la linguistique informatique, la biologie moléculaire computationnelle et l'intelligence artificielle. Elle est devenue professeure agrégée à l'Université Simon Fraser en 1982 et y est devenue professeure titulaire en 1991. En 1996, elle a été honorée par la Logic Programming Association comme l'un des 15 fondateurs du domaine de la programmation logique, et domaines des grammaires logiques et des règles de gestion des contraintes.

Dahl est une femme pionnière dans un domaine dominé par les hommes. Elle a combattu les inégalités entre les sexes alors qu'elle était professeure à l'Université Simon Fraser , à la fois par le mentorat et le modèle de rôle, et par des actions concrètes. Après que l'Université Simon Fraser ait refusé de lui rembourser 17 $ pour les frais de garde pendant qu'elle prononçait un discours invité à Victoria, où elle avait voyagé avec son bébé allaité, elle s'est d'abord adressée à son département, puis au Conseil de recherches en sciences naturelles et en génie du Canada (CRSNG ) avec sa protestation, qui s'est terminée par le changement de politique du CRSNG pour faire de la garde d'enfants une dépense couverte pour les chercheurs en sciences infirmières qu'il a financés. Elle a proposé et promu activement la prestation de services de garde d'enfants lors de conférences de programmation logique, jusqu'à ce qu'elle soit officiellement adoptée dans leur constitution, et qu'elle soit maintenant offerte régulièrement en conséquence. Elle a également obtenu un changement dans la législation de la SFU lorsque son étudiant diplômé a été expulsé en raison de retards causés par des conditions médicales potentiellement mortelles lors de la naissance de jumeaux.

Elle a développé de nombreux projets de recherche et collaborations internationaux, notamment avec le Danemark, l'Espagne, le Portugal, l'Allemagne et la France, et a travaillé avec IBM , Vancouver Software Labs, International Artificial Intelligence. Dans son travail avec IBM, elle a obtenu un contrat de recherche record. Elle a été présidente de l'Association of Logic Programming de 2001 à 2005. Elle a reçu la prestigieuse chaire d'excellence Marie Curie 2008-2011 de la Commission européenne pour son travail de pionnier sur la résolution de contraintes et le traitement du langage pour la bioinformatique. En 2012, elle a quitté son poste de professeur titulaire à l'Université Simon Fraser afin de se concentrer sur la recherche. La SFU lui a décerné le statut de professeure émérite à vie à partir de 2013. Son programme de recherche se poursuit grâce au financement du CRSNG, ainsi que par l'intermédiaire de sa propre entreprise d'IA, Regenerative AI, et elle siège au conseil consultatif scientifique d'IMDEA Software. Elle équilibre ses activités scientifiques et artistiques, en tant qu'étudiante en musique, théâtre et danse, et se produit régulièrement comme chanteuse et guitariste à Vancouver.

Recherche

La recherche de Dahl se concentre sur "combler le fossé entre les sciences formelles et humanistes, et pour parvenir à une communication plus humaine avec les ordinateurs". En tant que tel, il est multiforme, mais toujours pivotant autour des principales incarnations de la programmation inférentielle qu'elle a aidé à pionnier: la programmation logique, la programmation basée sur les contraintes et les grammaires logiques. Elle a également incorporé des capacités de raisonnement non classiques dans Prolog, Hyprolog et CHRG. Les recherches de Dahl ont eu un impact théorique et pratique dans la logique, la linguistique, l'intelligence informatique, la programmation Internet, les mondes virtuels et la biologie moléculaire.

Son travail sur la découverte d' oligos caractéristiques , qui a abouti à l'utilisation quotidienne d'un logiciel à Agriculture et Agroalimentaire Canada, a également été utilisé pour compléter la validation d'un tableau pour toutes les espèces de Phytophthora, avec un impact élevé pour la foresterie (comme l'une des espèces est l'agent causal de la mort subite du chêne qui ravage la Californie), pour les sciences marines (il a été utilisé pour surveiller la biodiversité dans les récifs coralliens hawaïens), pour l'entomologie (pour caractériser les mouches piqueuses) et pour détecter les ventes frauduleuses de poisson. Ses recherches actuelles se concentrent sur l'induction grammaticale pour les langues sous-financées et sur les utilisations de l'IA favorisant la solidarité ou la domination.

Publications savantes les plus importantes

  1. Bases de connaissances linguistiques et le World Wide Web
  2. Méthodologies intelligentes pour les sciences de la vie, en particulier la biologie moléculaire
  3. Les propriétés en tant que contraintes - de l'analyse à la modélisation cognitive
  4. Intégrer des méthodologies de haut niveau dans un nouveau langage: HYPROLOG

Honneurs et récompenses

Dahl a reçu de nombreux honneurs et récompenses au cours de sa carrière. En 1994, Dahl a reçu le prix Calouste Gulbenkian pour la science et la technologie. En 1997, elle a été nommée l'un des membres fondateurs de la programmation logique par l' Association for Logic Programming . En 2009, elle a reçu le prix du meilleur article prometteur lors de la troisième conférence internationale de travail sur l'interaction entre le calcul naturel et artificiel (2009).

Livres

  • (1989) Abramson, H. et Dahl, V. Logic Grammars . Springer.

Travaux littéraires

Prose

Poésie

Voir également

Les références