Verónica Dahl (n. 1951, Buenos Aires) es una informática teórica argentina/canadiense, reconocida entre los 15 fundadores del campo de la programación lógica. En 1975, obtuvo su licenciatura en Ciencia de la computación, por la Universidad de Buenos Aires. Y entre 1978 a 1982 fue profesora adjunta allí