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

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

2022, PhF TSU, "Summer School on Analytical Philosophy of Language and Logic";
2021, held virtually, "32nd European Summer School in Logic, Language and Information";
2021, Artificial Intelligence and Computer Science Lab of the University of Porto (held virtually), "European Agent Systems Summer School".

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

Mini-courses at summer schools and IL LLFP's seminars

"Epistemic Logic: Calculus and Models (advanced)", summer school "Logic and Formal Philosophy";
"Epistemic puzzles and paradoxes: an informal introduction", 1st summer school of IL LLFP;
"Introduction to Structural Proof Theory", mini-course at the scientific and educational seminar of IL LLFP "Logical Semantics".

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.