Verónica Becher
{{short description|Argentinian computer scientist}}
{{Infobox scientist
| name = Verónica Becher
| image =
| image_size =
| caption =
| birth_date =
| birth_place =
| residence =
| nationality = Argentinian
| field = Computer Science
| work_institution = Universidad de Buenos Aires
| alma_mater = Universidad de Buenos Aires, University of British Columbia
| thesis_title = Funciones binarias para el cambio de teorías
{{cite web
| url = https://www.genealogy.math.ndsu.nodak.edu/id.php?id=160359
| title = Mathematics Genealogy: Verónica Becher (160359)
| accessdate = 10 July 2020
}}
| thesis_year = 1999
| doctoral_advisor = Carlos Alchourrón
| doctoral_students =
| known_for =
}}
Verónica Becher is an Argentinian computer scientist known for her work in logic and theoretical computer science. She is
Full Professor at the University of Buenos Aires and Director of the KAPOW (Knowledgeable Algorithms for Problems on Words) at the
Department of Computation.
Career
Becher studied Computer Science at the Universidad de Buenos Aires, graduating in 1990. After that, she obtained an M.Sc. degree in Computer Science from the
University of British Columbia under supervision of Craig Boutilier in 1993 and a doctoral degree in Computer Science from the Universidad de Buenos Aires under supervision of Carlos Alchourrón in 1999.
She is currently Professor (Profesora Titular) at the Universidad de Buenos Aires and Principal Research at CONICET. She is also associated to the Paris Diderot University via the
international associate lab SINFIN (Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages or Sistemas, lógIca, leNguajes, Fundamentos de la computacIón, verificacióN), a joint venture of the universities in Paris and Buenos Aires.
{{cite web
| url = https://staff.dc.uba.ar/becher/
| title = Universidad de Buenos Aires: Verónica Becher
| accessdate = 10 July 2020
}}
{{cite web
| url = https://www-2.dc.uba.ar/staff/becher/cv_veronica_2020.pdf
| title = Universidad de Buenos Aires: CV Verónica Becher
| date = April 2020
| accessdate = 10 July 2020
}}
Becher as served as a member of the steering committee of the conference series Computability, Complexity, and Randomness (CCR) since 2004,
served on the Council of the Association for Symbolic Logic from 2008 to 2010 and from 2014 to 2017, and on the Council of the
Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST) from 2016 to 2019. Currently, she is
Second Vice President of DLMPST.
{{cite web
|url = http://dlmps.org/pages/council/council-2020-2023.php
|title = DLMPST Council 2020-2023
|accessdate = 10 July 2020
}}
She was an editor of the Journal of Logic, Language and Information from 2005 to 2009 and is currently an editor of the Journal of Symbolic Logic.
{{cite web
|url = https://www.cambridge.org/core/journals/journal-of-symbolic-logic/information/editorial-board
|title = Cambridge University Press: Journal of Symbolic Logic, Editorial Board
|accessdate = 10 July 2020
}}
References
{{reflist}}
{{authority control}}
{{DEFAULTSORT:Becher, Verónica}}
Category:Argentine women computer scientists
Category:University of British Columbia alumni
Category:University of Buenos Aires alumni
Category:Academic staff of the University of Buenos Aires