Veronica Dahl - Veronica Dahl

Verónica Dahl
December 2020 Interview.png
Nascer
Argentina
Cidadania Argentino / canadense
Alma mater Universidad de Buenos Aires
Universidade de Aix-Marseille II
Conhecido por Programação lógica
Prêmios Fundador da Programação Lógica ( ALP 1997)
Carreira científica
Campos Ciência da computação
Bioinformática
Ciência cognitiva
Instituições Simon Fraser University
Tese Un systeme deductif d'interrogation de banques de donnees en espagnol   (1977)
Orientador de doutorado Alain Colmerauer

Verónica Dahl é uma cientista da computação argentina / canadense , reconhecida como uma das 15 fundadoras do campo da programação lógica .

Vida pregressa

Dahl fez faculdade na Universidade de Buenos Aires e se formou em ciência da computação em 1974. À medida que o conflito político na Argentina aumentava, Dahl fez pós-graduação na França. Em 1977, ela foi a primeira graduada na Université d'Aix-Marseille a receber um doutorado em Inteligência Artificial .

Carreira

Enquanto estava envolvida na pesquisa para seu doutorado, Dahl se tornou uma pioneira no campo da programação lógica , desenvolvendo o primeiro sistema de banco de dados de programação lógica e um front end (também programado em lógica) para consultá-lo em uma linguagem humana (espanhol). A pesquisa e as metodologias de Dahl se tornaram multidisciplinares, incluindo Lingüística Computacional, Biologia Molecular Computacional e Inteligência Artificial. Ela se tornou professora associada na Simon Fraser University em 1982, e tornou-se professora titular em 1991. Em 1996, ela foi homenageada pela Logic Programming Association como um dos 15 fundadores do Campo de Programação Lógica, e foi extensivamente pioneira também no áreas de gramáticas lógicas e regras de tratamento de restrições.

Dahl é uma pioneira em um campo dominado por homens. Ela lutou contra a desigualdade de gênero enquanto era professora na Simon Fraser University , tanto por meio de mentoria e modelo de papel, quanto por meio de ações concretas. Depois que a Simon Fraser University se recusou a reembolsá-la US $ 17 pelas despesas com creches enquanto ela fazia um discurso como convidado em Victoria, para onde havia viajado com seu bebê em amamentação, ela foi primeiro para seu departamento e depois para Ciências Naturais e Conselho de Pesquisa de Engenharia do Canadá (NSERC ) com seu protesto, que terminou com o NSERC mudando sua política para tornar a assistência infantil uma despesa coberta para os pesquisadores de enfermagem que financiavam. Ela propôs e promoveu ativamente o fornecimento de creches em conferências de programação lógica, até que fosse formalmente adotado em sua constituição, e agora é oferecido rotineiramente como resultado. Ela também obteve uma mudança na legislação do SFU quando isso resultou no tempo limite de seu aluno de pós-graduação por atrasos causados ​​por condições médicas fatais após o parto de gêmeos.

Ela desenvolveu vários projetos de pesquisa e colaborações internacionais, principalmente com a Dinamarca, Espanha, Portugal, Alemanha e França, e trabalhou com a IBM , Vancouver Software Labs, International Artificial Intelligence. Em seu trabalho com a IBM, ela obteve um contrato de pesquisa recorde. Ela atuou como presidente da Association of Logic Programming de 2001-2005. Ela foi premiada com a prestigiosa Cátedra de Excelência Marie Curie 2008-2011 da Comissão Europeia por seu trabalho pioneiro em Resolução de Restrições e Processamento de Linguagem para Bioinformática. Em 2012, ela deixou sua posição de professora titular na Simon Fraser University para se concentrar na pesquisa. SFU concedeu a seu status de professora emérita vitalícia a partir de 2013. Seu programa de pesquisa continua sob o financiamento NSERC, bem como por meio de sua própria empresa de IA, Regenerative AI, e ela atua no Conselho Consultivo Científico da IMDEA Software. Ela equilibra suas atividades científicas com as artísticas, como estudante de música, teatro e dança, e se apresenta regularmente como cantora e violonista em Vancouver.

Pesquisa

A pesquisa de Dahl está focada em "preencher a lacuna entre as ciências formais e humanísticas, e alcançar uma comunicação mais humana com os computadores". Como tal, é multifacetado, mas sempre girando em torno das principais encarnações da programação inferencial que ela ajudou a criar: programação em lógica, programação baseada em restrições e gramáticas lógicas. Ela também incorporou capacidades de raciocínio não clássico em Prolog, Hyprolog e CHRG. A pesquisa de Dahl teve impacto teórico e prático em lógica, linguística, inteligência computacional, programação de internet, mundos virtuais e biologia molecular.

Seu trabalho na descoberta de oligos assinatura , que resultou em software sendo usado diariamente na Agriculture and Agri-Food Canada, também foi usado para completar a validação de uma matriz para todas as espécies de Phytophthora, com alto impacto para a silvicultura (como uma das espécies é o agente causal da morte súbita do carvalho que está devastando a Califórnia), para as ciências marinhas (tem sido usado para monitorar a biodiversidade nos recifes de coral havaianos), para a entomologia (para caracterizar moscas picadoras) e para detectar vendas fraudulentas de peixe. Sua pesquisa atual se concentra na indução gramatical para línguas com poucos recursos e nos usos da IA ​​que promovem a solidariedade versus a dominação.

Publicações acadêmicas mais significativas

  1. Bases de conhecimento com proficiência em idiomas e a World Wide Web
  2. Metodologias inteligentes para Ciências da Vida, em particular Biologia Molecular
  3. Propriedades como restrições - da análise à modelagem cognitiva
  4. Integrando metodologias de alto nível em uma nova linguagem: HYPROLOG

Honras e prêmios

Dahl recebeu muitas homenagens e prêmios em sua carreira. Em 1994, Dahl recebeu o Prémio Calouste Gulbenkian de Ciência e Tecnologia. Em 1997, ela foi nomeada como um dos membros fundadores em programação lógica pela Association for Logic Programming . Em 2009, ela recebeu o prêmio Best Promising Paper Award na Terceira Conferência Internacional de Trabalho sobre a Interação entre Computação Natural e Artificial (2009).

Livros

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

Obras literárias

Prosa

Poesia

  • (2000) Wholeness . Finalista do 11º concurso anual de poesia, Hope Writers Guild.
  • (2000) Life Tides . Finalista do concurso de Poesia Millenium 2000.

Veja também

Referências