Николаева Валерия Александровна
- Стажер-исследователь: Международная лаборатория логики, лингвистики и формальной философии
- Начала работать в НИУ ВШЭ в 2022 году.
Авторские права и патенты
| № п/п | Номер РИД | Вид РИД | Наименование РИД | Сведения о регистрации | Авторы |
|---|---|---|---|---|---|
| 1 | 5.0047-2024 | Программа для ЭВМ | Программа поиска эквивалентности между двумя моделями знаний | Николаева Валерия Александровна, Федянин Денис Николаевич |
Опыт работы
2023—н.в. — стажер-исследователь Международной лаборатории логики, лингвистики и формальной философии, НИУ ВШЭ (по трудовому договору)
2022— учебный ассистент по дисциплине «Основы программирования на Python» ОП Математика НИУ ВШЭ (по договору ГПХ)
РИД сотрудников МЛ ЛогЛинФФ Дениса Федянина и Валерии Николаевой
Разработанный сотрудниками лаборатории программный комплекс впервые был официально зарегистрирован в качестве программы для ЭВМ.
Доклад Валерии Николаевой на семинаре «From the Logical Point of View»
7 июня стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Поиск бисимуляции на питоне» на научно-исследовательском семинаре «From the Logical Point of View».
Доклад Валерии Николаевой «Модальный взгляд: теодицея и проблема божественного детерминизма»
1 декабря стажер-исследователь МЛ ЛогЛинФФ Валерия Николаева выступила с докладом «Модальный взгляд: теодицея и проблема божественного детерминизма» на исследовательском семинаре «From the Logical Point of View».
Прошла летняя школа «Логика и формальная философия 2023»
Летняя школа «Логика и формальная философия 2023» проходила с 3 по 7 июля в Кочубей-центре и стала уже 3-й по счету летней школой, которую проводит МЛ ЛогЛинФФ.
Началась летняя школа «Логика и формальная философия 2023»
Прошел первый день летней школы «Логика и формальная философия 2023», в которой принимают участие сотрудники МЛ ЛогЛинФФ и друзья лаборатории.
Сотрудники МЛ ЛогЛинФФ приняли участие в конференции «uAnalytiCon-2023: Проблема интеграции»
Сотрудники МЛ ЛогЛинФФ выступили с докладами на международной конференции «uAnalytiCon-2023: Проблема интеграции», которая прошла с 19 по 20 мая 2023 в Уральском федеральном университете.
Доклады стажеров-исследователей МЛ ЛогЛинФФ на конференции молодых исследователей «Terra hominis»
27-28 апреля проходила междисциплинарная конференция молодых исследователей «Terra hominis», на которой стажеры-исследователи МЛ ЛогЛинФФ представили свои доклады.