Попова Елена Леонидовна

Education

2024

Master's
Moscow Institute of Physics and Technology (National Research University)

2022

Bachelor's
HSE University

Continuing education / Professional retraining / Internships / Study abroad experience

2025, "Logic School" / Institute of Mathematics and Statistics, University of São Paulo (Butantã Campus);
2021, "32nd European Summer School in Logic, Language and Information" / held virtually, ;
2021, "European Agent Systems Summer School" / Artificial Intelligence and Computer Science Lab of the University of Porto (held virtually).

Courses (2022/2023)

Logic (Bachelor’s programme; Faculty of Creative Industries field of study Advertising and Public Relations, field of study Advertising and Public Relations; 1 year, 1 module)Rus

Employment history

2020–Present
Research Assistant
International Laboratory of Logic, Linguistics and Formal Philosophy
National Research University Higher School of Economics (HSE University)
2023–2024
Research Assistant
Department of Mathematical Logic
Steklov Mathematical Institute of the Russian Academy of Sciences
2020–2022
Teaching Assistant in Logic
Faculty of Humanities
National Research University Higher School of Economics (HSE University)

19

May

2025

Talks by IL LLFP Intern Researchers at the 21st Brazilian Logic Conference

From May 9 to 16, in the cities of São Paulo and Serra Negra (Brazil), a school on logic and the 21st Brazilian Logic Conference took place, in which intern researchers Ramazan Ayupov and Elena Popova participated.

12

Dec

2024

Elena Popova made two presentations at the Mathematical Institute of the Serbian Academy of Sciences and Arts

Elena Popova made presentations at the seminars "Probability Logic" and "Mathematical Logic" on December 5 and 6.

12

Aug

2024

The presentations of IL LogLinFF staff at the IV Conference of Mathematical Centers

Vitaly Dolgorukov and Elena Popova made presentations at the section "Mathematical Logic and Theoretical Computer Science" at the IV Conference of Mathematical Centers of Russia, which took place from August 6 to August 11 in St. Petersburg.

22

Jun

2024

Congratulations to Elena Popova on defending her master's thesis!

On June 21, Elena Popova defended her master's thesis "Semantics of the First–Order Logic of Evidence with a Binding Modality" (supervisor - T.L. Yavorskaya) with an excellent grade (10).

8

Nov

2022

Formal Philosophy 2022

On 31 October – 3 November 2022 , the International Conference "Formal Philosophy – 2022" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy.