Verónica Becher - Verónica Becher

Verónica Becher
NárodnostArgentinec
Alma materUniversidad de Buenos Aires, University of British Columbia
Vědecká kariéra
PolePočítačová věda
InstituceUniversidad de Buenos Aires
TezeFunciones binarias para el cambio de teorías[1] (1999)
Doktorský poradceCarlos Alchourrón

Verónica Becher je Argentinec počítačový vědec známá svou prací v logika a teoretická informatika. Je řádnou profesorkou na University of Buenos Aires a ředitel KAPOW (Znalé algoritmy pro řešení problémů se slovy) na katedře výpočtů.

Kariéra

Becher studoval Počítačová věda na Universidad de Buenos Aires, kterou ukončila v roce 1990. Poté získala titul M.Sc. titul v oboru výpočetní techniky zUniversity of British Columbia pod vedením Craiga Boutiliera v roce 1993 a doktorského titulu v oboru výpočetní techniky z Universidad de Buenos Aires pod dohledem Carlose Alchourrona v roce 1999. V současné době je Profesor (Profesora Titular) na Universidad de Buenos Aires and Principal Research ve společnosti KONICET. Ona je také spojován s Paris Diderot University prostřednictvím mezinárodní přidružené laboratoře SINFIN (Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages nebo Sistemas, lógIca, leNguajes, Fundamentos de la computacIón, ověřování), společný podnik univerzit v Paříž a Buenos Aires.[2]

Becher působil jako člen řídícího výboru série konference Vyčíslitelnost, složitost a náhodnost (CCR) od roku 2004, sloužil v Radě Sdružení pro symbolickou logiku v letech 2008 až 2010 a 2014 až 2017 a v Radě EU Oddělení pro logiku, metodiku a filozofii vědy a techniky (DLMPST) od roku 2016 do roku 2019. V současné době je druhou viceprezidentkou DLMPST.[3]Byla redaktorkou časopisu Journal of Logic, Language and Information od roku 2005 do roku 2009 a v současné době je redaktorem Journal of Symbolic Logic.[4]

Reference

  1. ^ "Matematická genealogie: Verónica Becher (160359)". Citováno 10. července 2020.
  2. ^ „Universidad de Buenos Aires: Verónica Becher“. Citováno 10. července 2020.„Universidad de Buenos Aires: CV Verónica Becher“ (PDF). Duben 2020. Citováno 10. července 2020.
  3. ^ „Rada DLMPST 2020–2023“. Citováno 10. července 2020.
  4. ^ „Cambridge University Press: Journal of Symbolic Logic, Redakční rada“. Citováno 10. července 2020.