Veronica Dahl - Simon Fraser University

Verónica Dahl

Constraint Solving, Logic Programming, Computational Linguistics, Deductive Knowledge Bases, Computational Molecular Biology

Computador Cientifico, Buenos Aires University, 1975
DEA en Intelligence Artificielle, Univ. Aix-Marseille II, 1976
Doctorat de Specialite en Intelligence Artificielle, Univ. Aix-Marseille II, 1977

electronic address: veronica at cs dot sfu dot ca
phone: +1 778 782 3372
fax: +1 778 782 3045

Co- Founder of the discipline Logic Programming (with 14 other international scientists)
Professor Emeritus of Computing Science, Simon Fraser University
Associate Faculty in Bioinformatics, Simon Fraser University
Associate Faculty in Cognitive Science, Simon Fraser University
Scientific Advisory Board Member, IMDEA-Software (2007-)
Marie Curie Chair of Excellence from the European Commission, URV (2008-2011)
Member, Killam Selection Committee, Canada Council for the Arts (2007-2010)
Former Board Member and Publications Director, Science for Peace
Past President, Association for Logic Programming. (See The Early Days of Logic Programming, A Message from the former ALP President, A word with the President, part I, part 2, A day in the life of a proof (alternative lyrics for Antonio Carlos Jobim's song, ibidem); photo: Addressing ICLP 2003, Mumbai-- with R.K. Shyamasundar and Catuscia Palamidessi)
Area Coordinator (Natural Language Processing), Compulog Americas
Coordinator of the SIG Computational Logic and Natural Language Processing (CL&NLP) (a joint initiative of Compulog Net and Compulog Americas)
Steering Committee Member, CSS and Cognitive Sciences Pgm, SFU

Verónica Dahl Constraint Solving, Logic Programming, Computational Linguistics, Deductive Knowledge Bases, Computational Molecular Biology

Verónica Dahl

Constraint Solving, Logic Programming, Computational Linguistics, Deductive Knowledge Bases, Computational Molecular Biology