Оноприенко Анастасия Александровна

Education and Degrees

2023

Candidate of Sciences* (PhD)

2022

Doctoral programme
Lomonosov Moscow State University

2018

Degree in Fundamental Mathematics and Mechanics
Lomonosov Moscow State University

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Courses (2024/2025)

Calculus (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
Past Courses

Timetable for today

Full timetable

Conferences

2021
Двенадцатые Смирновские чтения по логике (Москва). Presentation: Предикатный вариант объединённой логики задач и высказываний

2019
XXVI Международная научная конференция студентов, аспирантов и молодых ученых "Ломоносов-2019" (Москва). Presentation: Пропозициональная логика задач и высказываний
Одиннадцатые Смирновские чтения по логике (Москва). Presentation: Объединенная логика задач и высказываний
Мальцевские чтения (Новосибирск). Presentation: Объединенная логика задач и высказываний

Employment history

2012-2016 - Lecturer at the Mathematical Circle "Malyi Mehmat", Faculty of Mechanics and Mathematics, Moscow State University
2016-2021 - Head of the Mathematical Circle at Moscow State Pedagogical University
2017-2019 - Teacher at the Private Educational Institution "Khoroshevskaya School"
2019-2023 - Junior Researcher at the AESC of Moscow State University
2019-2022 - Engineer at the Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University
2021-present - Head of Circles at the Mathematical Circle "Malyi Mehmat", Faculty of Mechanics and Mathematics, Moscow State University
2022-present - Senior Researcher at the Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Moscow State University
2020-present - Lecturer at the Faculty of Computer Science, National Research University Higher School of Economics

15

Oct

2023

Conference "Formal Philosophy 2023"

On 11 – 13 October 2023, the International Conference "Formal Philosophy – 2023" was held, organized by the HSE International Laboratory of Logic, Linguistics and Formal Philosophy (HSE University).

Anastasia Onoprienko

Education and Degrees

Courses (2024/2025)

Courses (2023/2024)

Courses (2022/2023)

Courses (2021/2022)

Courses (2020/2021)

Timetable for today

Conferences

Employment history

Conference "Formal Philosophy 2023"