Valeria Nikolaeva
- Research Assistant: International Laboratory for Logic, Linguistics and Formal Philosophy
- Valeria Nikolaeva has been at HSE University since 2022.
Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.
«uAnalytiCon-2023: Проблема интеграции» (Екатеринбург ). Presentation: «Бисимуляционные игры в эпистемической логике»
The software package developed by the laboratory staff members was officially registered as a computer program for the first time.
On June 7, Valeria Nikolaeva, an intern researcher at IL LogLinFF, made a presentation on the topic of "The Search for Bisimulation in Python" at the research workshop "From the Logical Point of View".
HSE Sans and HSE Slab fonts developed by the HSE Art and Design School