Verónica Becher

Verónica Becher
Nationalitet	argentinska
Alma mater	Universidad de Buenos Aires , University of British Columbia
Vetenskaplig karriär
Fält	Datavetenskap
institutioner	Universidad de Buenos Aires
Avhandling	Funciones binarias para el cambio de teorías (1999)
Doktorandrådgivare	Carlos Alchourrón

Verónica Becher är en argentinsk datavetare känd för sitt arbete inom logik och teoretisk datavetenskap . Hon är professor vid universitetet i Buenos Aires och chef för KAPOW ( Kunskapliga algoritmer för problem på ord ) vid avdelningen för beräkningar.

Karriär

Becher studerade datavetenskap vid Universidad de Buenos Aires och tog examen 1990. Därefter tog hon en M.Sc. examen i datavetenskap från University of British Columbia under handledning av Craig Boutilier 1993 och en doktorsexamen i datavetenskap från Universidad de Buenos Aires under handledning av Carlos Alchourrón 1999. Hon är för närvarande professor ( Profesora Titular ) vid Universidad de Buenos Aires Buenos Aires och huvudforskning vid CONICET . Hon är också knuten till Paris Diderot University via det internationella associerade labbet SINFIN ( Systèmes, vérIfication, informatique Fondamentale, logIque, laNgages or Sistemas, lógIca, leNguajes, Fundamentos de la computacIón, verificacióN ) , ett joint venture mellan universiteten i Paris och Paris Buenos Aires .

Becher som tjänstgjorde som medlem i styrkommittén för konferensserien Computability, Complexity, and Randomness (CCR) sedan 2004, tjänstgjorde i Council of Association for Symbolic Logic från 2008 till 2010 och från 2014 till 2017, och i rådet av Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST) från 2016 till 2019. För närvarande är hon andra vice ordförande för DLMPST. Hon var redaktör för Journal of Logic, Language and Information från 2005 till 2009 och är för närvarande redaktör för Journal of Symbolic Logic .