Verónica Becher es una científica informática argentina reconocida por su trabajo en lógica y computación teórica . Es Profesora Titular de la Universidad de Buenos Aires y Directora del proyecto KAPOW ( Knowledgeable Algorithms for Problems on Words ) del Departamento de Computación.
Becher estudió Ciencias de la Computación en la Universidad de Buenos Aires , graduándose en 1990. Posteriormente obtuvo un M.Sc. Licenciada en Informática por la Universidad de British Columbia bajo la dirección de Craig Boutilier en 1993 y doctora en Informática por la Universidad de Buenos Aires bajo la dirección de Carlos Alchourrón en 1999. Actualmente es Profesora Titular en la Universidad de Buenos Aires e Investigador Principal del CONICET . También está asociada a la Universidad Paris Diderot a través del laboratorio asociado internacional SINFIN ( Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages o Sistemas, lógIca, leNguajes, Fundamentos de la computacIón, verification ), una empresa conjunta de las universidades de París y Buenos Aires . [2]
Becher ha sido miembro del comité directivo de la serie de conferencias Computabilidad, Complejidad y Aleatoriedad (CCR) desde 2004, formó parte del Consejo de la Asociación de Lógica Simbólica de 2008 a 2010 y de 2014 a 2017, y del Consejo de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología (DLMPST) de 2016 a 2019. Actualmente, es la segunda vicepresidenta de DLMPST. [3] Fue editora del Journal of Logic, Language and Information de 2005 a 2009 y actualmente es editora del Journal of Symbolic Logic . [4]