Verónica Becher is an Argentinian

computer scientist A computer scientist is a scientist who specializes in the academic study of computer science. Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...

known for her work in

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

and

theoretical computer science Theoretical computer science is a subfield of computer science and mathematics that focuses on the Abstraction, abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The Associati ...

. She is Full Professor at the

University of Buenos Aires The University of Buenos Aires (, UBA) is a public university, public research university in Buenos Aires, Argentina. It is the second-oldest university in the country, and the largest university of the country by enrollment. Established in 1821 ...

and Director of the KAPOW (''Knowledgeable Algorithms for Problems on Words'') at the Department of Computation.

Career

Becher studied

Computer Science Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...

at the

Universidad de Buenos Aires The University of Buenos Aires (, UBA) is a public research university in Buenos Aires, Argentina. It is the second-oldest university in the country, and the largest university of the country by enrollment. Established in 1821, the UBA has educa ...

, graduating in 1990. After that, she obtained an M.Sc. degree in Computer Science from the

University of British Columbia The University of British Columbia (UBC) is a Public university, public research university with campuses near University of British Columbia Vancouver, Vancouver and University of British Columbia Okanagan, Kelowna, in British Columbia, Canada ...

under supervision of Craig Boutilier in 1993 and a doctoral degree in Computer Science from the

under supervision of Carlos Alchourrón in 1999. She is currently

Professor Professor (commonly abbreviated as Prof.) is an Academy, academic rank at university, universities and other tertiary education, post-secondary education and research institutions in most countries. Literally, ''professor'' derives from Latin ...

(''Profesora Titular'') at the

and Principal Research at

CONICET The National Scientific and Technical Research Council (, CONICET) is an Argentine government agency which directs and co-ordinates most of the scientific and technical research done in universities and institutes. History The National Scient ...

. She is also associated to the

Paris Diderot University Paris Diderot University, also known as Paris 7 (), was a French university located in Paris, France. It was one of the inheritors of the historic University of Paris, which was split into 13 universities in 1970. Paris Diderot merged with Pari ...

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 Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, largest city of France. With an estimated population of 2,048,472 residents in January 2025 in an area of more than , Paris is the List of ci ...

and

Buenos Aires Buenos Aires, controlled by the government of the Autonomous City of Buenos Aires, is the Capital city, capital and largest city of Argentina. It is located on the southwest of the Río de la Plata. Buenos Aires is classified as an Alpha− glob ...

. 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 The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic. The ASL was founded in 1936, and its first president was Curt John Ducasse. The current president of the ASL ...

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. She was an editor of the

Journal of Logic, Language and Information The ''Journal of Logic, Language and Information'' is a quarterly peer-reviewed academic journal covering research on "natural, formal, and programming languages". It is the official journal of the European Association for Logic, Language and Info ...

from 2005 to 2009 and is currently an editor of the

Journal of Symbolic Logic The '' Journal of Symbolic Logic'' is a peer-reviewed mathematics journal published quarterly by Association for Symbolic Logic. It was established in 1936 and covers mathematical logic. The journal is indexed by '' Mathematical Reviews'', Zent ...

References

{{DEFAULTSORT:Becher, Verónica Argentine women computer scientists Living people University of British Columbia Faculty of Science alumni University of Buenos Aires alumni Academic staff of the University of Buenos Aires Year of birth missing (living people) Argentine computer scientists