Вероника Бехер

Вероника Бехер — аргентинский компьютерный ученый , известная своими работами в области логики и теоретической информатики . Она — полный профессор в Университете Буэнос-Айреса и директор KAPOW ( Знающие алгоритмы для задач на словах ) на кафедре вычислений.

Бехер изучала компьютерные науки в Университете Буэнос-Айреса , который окончила в 1990 году. После этого она получила степень магистра компьютерных наук в Университете Британской Колумбии под руководством Крейга Бутилье в 1993 году и докторскую степень в области компьютерных наук в Университете Буэнос-Айреса под руководством Карлоса Альчуррона в 1999 году. В настоящее время она является профессором ( Profesora Titular ) в Университете Буэнос-Айреса и главным научным сотрудником в CONICET . Она также связана с Парижским университетом Дидро через международную ассоциированную лабораторию SINFIN ( Systèmes, vérification, iNformatique Fondamentale, logIque, langages или Sistemas, logIca, leNguajes, Fundamentos de la ComputacIón, verificacióN ), совместное предприятие университетов Парижа и Буэнос-Айреса . ^[2]

Бехер была членом руководящего комитета серии конференций Computability, Complexity, and Randomness (CCR) с 2004 года, входила в Совет Ассоциации символической логики с 2008 по 2010 год и с 2014 по 2017 год, а также в Совет Отделения логики, методологии и философии науки и техники (DLMPST) с 2016 по 2019 год. В настоящее время она является вторым вице-президентом DLMPST. ^[3] Она была редактором журнала Journal of Logic, Language and Information с 2005 по 2009 год и в настоящее время является редактором журнала Journal of Symbolic Logic . ^[4]