Verónica Dahl (Buenos Aires, 1951) es una informática teórica argentina-canadiense, reconocida entre los 15 fundadores del campo de la programación lógica.
[1] En 1975, obtuvo su licenciatura en Ciencia de la computación, por la Universidad de Buenos Aires.
Entre 1978 y 1982 fue profesora adjunta en la misma universidad.
[2]