Вероника Бехер - Verónica Becher

Вероника Бехер
Национальностьаргентинец
Альма-матерУниверситет Буэнос-Айреса, Университет Британской Колумбии
Научная карьера
ПоляИнформатика
УчрежденияУниверситет Буэнос-Айреса
ТезисFunciones binarias para el cambio de teorías[1] (1999)
ДокторантКарлос Альчуррон

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

Карьера

Бехер учился Информатика на Университет Буэнос-Айреса, который окончил в 1990 году. После этого она получила степень магистра наук. степень в области компьютерных наук отУниверситет Британской Колумбии под руководством Крейга Бутилье в 1993 году и получил степень доктора компьютерных наук Университет Буэнос-Айреса под руководством Карлоса Альчуррона в 1999 году. Профессор (Професора Титулар) на Университет Буэнос-Айреса и основные исследования в CONICET. Она также связана с Парижский университет Дидро через международную ассоциированную лабораторию SINFIN (СИСТЕМЫ, ВЕРИФИКАЦИЯ, ИНФОРМАЦИОННАЯ ФУНКЦИЯ, ЛОГИКА, ЛОГИКИ или Sistemas, lógIca, leNguajes, Fundamentos de la computacIón, verificacióN), совместное предприятие университетов Париж и Буэнос айрес.[2]

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

использованная литература

  1. ^ "Математическая генеалогия: Вероника Бехер (160359)". Получено 10 июля 2020.
  2. ^ "Университет Буэнос-Айреса: Вероника Бехер". Получено 10 июля 2020."Университет Буэнос-Айреса: резюме Вероники Бехер" (PDF). Апрель 2020. Получено 10 июля 2020.
  3. ^ «Совет DLMPST 2020-2023». Получено 10 июля 2020.
  4. ^ "Cambridge University Press: Журнал символической логики, редакционная коллегия". Получено 10 июля 2020.