Anastasia Onoprienko
- Associate Professor: Faculty of Computer Science / Big Data and Information Retrieval School
- Anastasia Onoprienko has been at HSE University since 2020.
Education and Degrees
Lomonosov Moscow State University
Lomonosov Moscow State University
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 (Advanced Course) (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Economic Sciences; 1 year, 1-3 module)Rus
- Discrete Mathematics (Mago-Lego; 2 module)Rus
- Discrete Mathematics (Master; 1 year, 2 module)Rus
- Discrete Mathematics 1 (Bachelor; 1 year, 1, 2 module)Rus
- Past Courses
Courses (2023/2024)
- Calculus (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics (Bachelor’s programme; Faculty of Economic Sciences; 1 year, 1-3 module)Rus
- Discrete Mathematics 2 (Bachelor’s programme; Faculty of Economic Sciences; 2 year, 3, 4 module)Rus
- Discrete Mathematics 2 (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
Courses (2022/2023)
- Calculus (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
- Mathematical Logic (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
- Mathematical Logic (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
Courses (2021/2022)
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Mathematical Logic (Bachelor’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
Courses (2020/2021)
- Calculus (Bachelor’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Computability and Complexity (Minor; Faculty of Mathematics; 3, 4 module)Rus
- Differential Equations (Bachelor’s programme; Faculty of Computer Science; 2 year, 3, 4 module)Rus
- Discrete Mathematics 2 (Bachelor’s programme; Faculty of Computer Science field of study Applied Mathematics and Information Science, field of study Applied Mathematics and Information Science; 2 year, 1, 2 module)Rus
- Logic (Minor; Faculty of Mathematics; 1, 2 module)Rus
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
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.
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).