Подольский Владимир Владимирович
- Ведущий научный сотрудник:Факультет компьютерных наук / Департамент больших данных и информационного поиска / Международная лаборатория теоретической информатики
- Начал работать в НИУ ВШЭ в 2014 году.
- Научно-педагогический стаж: 17 лет.
Образование, учёные степени
- 2021Доктор физико-математических наук: Математический институт им. В. А. Стеклова Российской академии наук
- 2009Кандидат физико-математических наук: Московский государственный университет им. М.В. Ломоносова, специальность 01.01.06 «Математическая логика, алгебра и теория чисел», тема диссертации: Оценки весов персептронов (полиномиальных пороговых булевых функций)
- 2009
Аспирантура: Московский государственный университет им. М.В. Ломоносова, Кафедра математической логики и теории алгоритмов, специальность «Алгебра, логика и теория чисел»
- 2006
Специалитет: Московский государственный университет им. М.В. Ломоносова, Кафедра математической логики и теории алгоритмов, специальность «Математика», квалификация «Математик»
Достижения и поощрения
- Благодарность Высшей школы экономики (декабрь 2021)
- Благодарственное письмо проректора НИУ ВШЭ (ноябрь 2021)
- Благодарность проректора НИУ ВШЭ (август 2021)
- Благодарность проректора НИУ ВШЭ (август 2021)
- Благодарственное письмо ректора НИУ ВШЭ (ноябрь 2020)
- Почетная грамота Высшей школы экономики (декабрь 2015)
Надбавка за публикацию в международном рецензируемом научном издании (2022-2023, 2021-2022, 2019-2021, 2017-2019)
Надбавка за статью в зарубежном рецензируемом журнале (2015-2017)
Полномочия и обязанности
-организация деятельности Департамента на факультете в соответствии с настоящим Положением и другими локальными нормативными актами НИУ ВШЭ, персональная ответственность за ее результаты;
-координация работы структурных подразделений Департамента – базовой кафедры Яндекс и международной лаборатории теоретической информатики;
-осуществление взаимодействия Департамента с другими подразделениями факультета;
-обеспечение выполнения Департаментом решений органов управления НИУ ВШЭ и ученого совета факультета;
-осуществление взаимодействия с образовательными программами, реализуемыми факультетом;
-разработка совместно с руководителем факультета и представление на утверждение проректору проекта штатного расписания Департамента, формируемого в пределах соответствующих нормативов численности по категориям персонала;
-разработка предложений по развитию Департамента и вынесение их на рассмотрение руководства и Ученого Совета факультета;
-объявление благодарности студентам образовательных программ, реализуемых факультетом, или представление к награждению студентов наградами НИУ ВШЭ и иными наградами; рекомендации руководству НИУ ВШЭ о награждении работников Департамента наградами НИУ ВШЭ и иными наградами;
-организация повышения квалификации работников департамента;
-контроль процесса подбора сотрудников Департамента.
Учебные курсы (2021/2022 уч. год)
- Дискретная математика (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Дополнительные главы дискретной математики 1 (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 1, 2 модуль)Рус
- Дополнительные главы дискретной математики 2 (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 3, 4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика 2" (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Архив учебных курсов
Учебные курсы (2020/2021 уч. год)
- Дискретная математика (углубленный курс) (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Дополнительные главы дискретной математики 2 (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 3, 4 модуль)Рус
- A Theorist's Toolkit (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 3 модуль)Анг
- Методы теоретической информатики (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика 2" (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Statistical Learning Theory (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1, 2 модуль)Анг
- Statistical Learning Theory (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Анг
- Statistical Learning Theory (Магистратура; где читается: Факультет компьютерных наук; 2-й курс, 1, 2 модуль)Анг
Учебные курсы (2019/2020 уч. год)
- Вводный научно-исследовательский семинар (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Дополнительные главы дискретной математики 1 (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 1, 2 модуль)Рус
- Дополнительные главы дискретной математики 2 (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 3, 4 модуль)Рус
- Методы теоретической информатики (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика" (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика 2" (Бакалавриат; где читается: Факультет компьютерных наук; 4-й курс, 1-3 модуль)Рус
- Theory of Computation (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Анг
- Theory of Computation (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Анг
Учебные курсы (2018/2019 уч. год)
- Introductory Research Seminar (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3 модуль)Анг
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
- Дополнительные главы дискретной математики 1 (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 1, 2 модуль)Рус
- Дополнительные главы дискретной математики 2 (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 3, 4 модуль)Рус
- Дополнительные главы линейной алгебры (Дисциплина общефакультетского пула; где читается: Факультет компьютерных наук; 3, 4 модуль)Рус
- Научно-исследовательский семинар "Теоретическая информатика 1" (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1-4 модуль)Рус
- Theory of Computation (Бакалавриат; где читается: Факультет компьютерных наук; 3-й курс, 1, 2 модуль)Анг
Учебные курсы (2017/2018 уч. год)
- Introductory Research Seminar (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 3 модуль)Анг
- Дискретная математика (Бакалавриат; где читается: Факультет компьютерных наук; 1-й курс, 1-3 модуль)Рус
Конференции
Публикации32
- Статья Gerasimova O., Kikot S., Podolskii V. V., Kurucz A., Zakharyaschev M. A tetrachotomy of ontology-mediated queries with a covering axiom // Artificial Intelligence. 2022. Vol. 309. Article 103738. doi
- Статья Alexander Kozachinskiy, Vladimir Podolskii. Multiparty Karchmer-Wigderson Games and Threshold Circuits // Theory of Computing. 2022. Vol. 18. No. 15. P. 1-33. doi
- Статья Chistopolskaya A., Podolskii V. V. On the Decision Tree Complexity of Threshold Functions // Theory of Computing Systems. 2022 doi
- Глава книги Kikot S., Kurucz A., Podolskii V. V., Zakharyaschev M. Deciding Boundedness of Monadic Sirups, in: PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. NY : Association for Computing Machinery (ACM), 2021. doi P. 370-387. doi
- Книга Вялый М. Н., Подольский В. В., Рубцов А. А., Шварц Д. А., Шень А. Лекции по дискретной математике. М. : Издательский дом НИУ ВШЭ, 2021. doi
- Глава книги Gerasimova O., Kikot S., Kurucz A., Podolskii V. V., Zakharyaschev M. A Data Complexity and Rewritability Tetrachotomy of Ontology-Mediated Queries with a Covering Axiom, in: Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI Organization: The International Joint Conference on Artificial Intelligence (IJCAI), 2020. P. 403-413. doi
- Статья Podolskii V. V., Sherstov A. A. Inner Product and Set Disjointness: Beyond Logarithmically Many Parties // ACM Transactions on Computation Theory. 2020. Vol. 12. No. 4. P. 26. doi
- Глава книги Chistopolskaya A., Podolskii V. V. On the Decision Tree Complexity of Threshold Functions, in: Computer Science – Theory and Applications 15th International Computer Science Symposium in Russia, CSR 2020, Yekaterinburg, Russia, June 29 – July 3, 2020, Proceedings Vol. 12159. Springer, 2020. doi P. 198-210. doi
- Книга Special Issue on Computer Science Symposium in Russia / Ed. by Ф. В. Фомин, V. V. Podolskii.; Ed. by Ф. В. Фомин, V. V. Podolskii. Vol. 64. Issue 1. Springer, 2020. doi
- Статья Grigoriev D., Podolskii V. V. Tropical Combinatorial Nullstellensatz and Sparse Polynomials // Foundations of Computational Mathematics. 2020. Vol. 20. No. 4. P. 753-781. doi
- Статья Podolskii V. V., Kulikov A. S. Computing Majority by Constant Depth Majority Circuits with Low Fan-in Gates // Theory of Computing Systems. 2019. Vol. 63. No. 5. P. 956-986. doi
- Книга Вялый М. Н., Подольский В. В., Рубцов А. А., Шварц Д. А., Шень А. Лекции по дискретной математике. Издательский дом НИУ ВШЭ, 2019. (в печати)
- Книга Computer Science – Theory and Applications 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018, Proceedings / Ed. by F. V. Fomin, V. V. Podolskii. Vol. 10846. Springer, 2018. doi
- Статья Bienvenu M., Kikot S., Kontchakov R., Podolskii V. V., Zakharyaschev M. Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity // Journal of the ACM. 2018. Vol. 65. No. 5. P. 28:1-28:51. doi
- Статья Podolskii V. V., Grigoriev D. Tropical Effective Primary and Dual Nullstellensätze // Discrete and Computational Geometry. 2018. Vol. 59. No. 3. P. 507-552. doi
- Глава книги Kulikov A., Podolskii V. V. Computing majority by constant depth majority circuits with low fan-in gates, in: 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017). March 8–11, 2017, Hannover, Germany Т. 66. Лейпциг : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2017. P. 1-14. doi
- Глава книги Gerasimova O., Kikot S., Podolskii V. V., Zakharyaschev M. More on the Data Complexity of Answering Ontology-Mediated Queries with a Covering Axiom, in: Proceedings of the 8th international Conference on Knowledge Engineering and Semantic Web. Berlin : Springer, 2017. doi P. 143-158. doi
- Глава книги Gerasimova O., Podolskii V. V., Kikot S., Zakharyaschev M. On the Data Complexity of Ontology-Mediated Queries with a Covering Axiom, in: Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017.. Aachen : CEUR Workshop Proceedings, 2017. Ch. 19. P. 1-12.
- Глава книги Podolskii V. V., Zakharyaschev M., Bienvenu M., Kikot S., Ryzhikov V., Kontchakov R. The complexity of ontology-based data access with OWL2QL and bounded treewidth queries, in: Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems Part F127745. ACM, 2017. P. 201-216. doi
- Статья Podolskii V. V., Grigoriev D. Tropical Combinatorial Nullstellensatz and Fewnomials Testing // Lecture Notes in Computer Science. 2017. Vol. 10472. P. 284-297. doi
- Глава книги Bienvenu M., Kikot S., Kontchakov R., Podolskii V. V., Zakharyaschev M. Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries, in: International Workshop on Description Logics, DL 2016 Issue 1577. , 2016. P. 1-13.
- Глава книги Bienvenu M., Kikot S., Podolskii V. V. Combined Complexity of Answering Tree-like Queries in OWL 2 QL, in: Description Logics Workshop, Proceedings of the 28th International Workshop on Description Logics, Athens, Greece, June 7th to 10th, 2015. Vol. 1350. CEUR Workshop Proceedings, 2015. P. 1-4.
- Статья Grigoriev D., Podolskii V. V. Complexity of Tropical and Min-plus Linear Prevarieties // Computational Complexity. 2015. Vol. 24. No. 1. P. 31-64.
- Статья Hansen K. A., Podolskii V. V. Polynomial threshold functions and Boolean threshold circuits // Information and Computation. 2015. Vol. 240. P. 56-73. doi
- Глава книги Podolskii V. V., Bienvenu M., Kikot S. Tree-like Queries in OWL 2 QL: Succinctness and Complexity Results, in: Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on. Los Alamitos : IEEE, 2015. P. 317-328. doi
- Глава книги Grigoriev D., Podolskii V. V. Tropical Effective Primary and Dual Nullstellens"atze, in: 32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015), Leibniz International Proceedings in Informatics (LIPIcs) Vol. 30. Dagstuhl : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015. P. 379-391.
- Глава книги Kikot S., Kontchakov R., Podolskii V. V., Zakharyaschev M. On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Bounded Chase, in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). NY : ACM, 2014. P. 1-10.
- Глава книги Bienvenu M., Kikot S., Podolskii V. V. Succinctness of Query Rewriting in OWL 2 QL: The Case of Tree-like Queries, in: CEUR Workshop Proceedings Vol. 1193: Informal Proceedings of the 27th International Workshop on Description Logics. Vienna, Austria, July 17-20, 2014. Wien : CEUR Workshop Proceedings, 2014. P. 45-57.
- Статья Gottlob G., Kikot S., Kontchakov R., Podolskii V. V., Schwentick T., Zakharyaschev M. The Price of Query Rewriting in Ontology-Based Data Access // Artificial Intelligence. 2014. Vol. 213. P. 42-59.
- Статья Podolskii V. V. Lower bound on weights of large degree threshold functions // Logical Methods in Computer Science. 2013. Vol. 9. No. 2. P. 1-17.
- Статья Podolskii V. V., Hansen K. A., Ibsen-Jensen R., Tsigaridas E. P. Patience of matrix games // Discrete Applied Mathematics. 2013. Vol. 161. No. 16-17. P. 2440-2459.
- Статья Hansen K. A., Podolskii V. V. Polynomial threshold functions and Boolean threshold circuits // Lecture Notes in Computer Science. 2013. Vol. 8087. P. 516-527.
Опыт работы
2009–2013, Математический институт им. В.А. Стеклова РАН, научный сотрудник
2013–н.в., Математический институт им. В.А. Стеклова РАН, старший научный сотрудник
2014–н.в., НИУ ВШЭ, доцент
2016–н.в., НИУ ВШЭ, старший научный сотрудник
Информация*
- Общий стаж: 17 лет
- Научно-педагогический стаж: 17 лет
- Преподавательский стаж: 5 лет
Основное место работы, должность
Математический институт им. В.А. Стеклова, старший научный сотрудник
‘The Programme You Graduated from Is Absolutely Innovative’
In April 2022, HSE University’s 'Master of Data Science’ Programme held their first online graduation ceremony in English. 17 out of the 48 students completed their studies with distinction.
«Программа, которую вы окончили, — абсолютная инновация»
В апреле у первого набора магистерской программы «Магистр по наукам о данных» НИУ ВШЭ прошел выпускной — в онлайн-формате и на английском языке. 17 из 48 магистров завершили обучение с красным дипломом. Выпускников поздравили руководители и преподаватели Вышки.
Владимир Подольский защитил докторскую диссертацию
17 июня успешно защитил докторскую диссертацию Владимир Подольский, руководитель департамента больших данных и информационного поиска, академический руководитель программы “Магистр по наукам о данных” и старший научный сотрудник международной лаборатории теоретической информатики.
На ФКН написали учебник по дискретной математике
Сотрудники факультета Михаил Вялый, Владимир Подольский, Александр Рубцов и Александр Шень, а также Дмитрий Шварц (ФЭН) подготовили к изданию учебник "Лекции по дискретной математике". Мы попросили Михаила Вялого рассказать об учебнике и процессе его написания.
На Coursera стартовали новые специализации от ФКН НИУ ВШЭ
Специализации «Машинное обучение: от статистики до нейросетей» и «Математика для анализа данных» появились на международной образовательной платформе. С декабря 2020 года факультет компьютерных наук Вышки запустил уже несколько курсов и специализаций на Coursera, ориентированных как на опытных специалистов, так и на новичков в Data Science.
«Границы между странами стираются благодаря онлайн-коммуникации»
В числе международных преподавателей, приглашенных для дистанционной работы со студентами ВШЭ в этом учебном году, – профессор Олег Мельников. Он живет в Калифорнии, заведует отделением DataScience в одной из компаний в Пало-Альто, преподает в Стэнфорде и других американских университетах. В Вышке он ведет курс «Машинное обучение» для студентов факультета компьютерных наук и МИЭФ, а также общеуниверситетский факультатив «Машинное обучение в Питоне». О своей работе он рассказал в интервью новостной службе портала.
Разработчиков машинного обучения будут готовить в магистратуре ВШЭ онлайн
До 12 января продолжается набор на новую магистерскую программу факультета компьютерных наук ВШЭ «Машинное обучение и высоконагруженные системы». Программа реализуется полностью онлайн на русском языке, вступительный экзамен и собеседование пройдут во второй половине января, занятия начнутся 1 марта.
Поздравляем победителей НИРС-2020
Стали известны имена победителей и лауреатов конкурса научно-исследовательских работ студентов 2020. Поздравляем отличившихся студентов Факультета компьютерных наук и их научных руководителей.
«Как будто на МВА в Стэнфорд поступила»
Приступили к занятиям студенты второго набора первой в России магистерской программы ВШЭ на английском языке Master of Data Scienсe по направлению «Прикладная математика и информатика». Программа полностью реализуется онлайн на платформе Coursera.
Объявлены лучшие преподаватели НИУ ВШЭ 2020
В Высшей школе экономики прошли десятые выборы лучших преподавателей.
«Я всегда был фанатом онлайн-обучения»
Студенты первого набора программы ВШЭ «Магистр по наукам о данных» заканчивают первый семестр. Программа проходит полностью на платформе Coursera и привлекает обучающихся со всего мира. Двое иностранных студентов рассказали новостной службе портала о том, чем их привлекла программа, какие курсы они уже прошли и как устроено их студенческое сообщество онлайн.
‘I Was Always a Fan of Online Studying’
Students of the first cohort of the HSE’s online Master of Data Science are now completing their first semester. Offered entirely online on Coursera, the programme attracts students from all over the world. HSE News Service spoke with two international students about what drew them to the programme, the courses they have taken so far, and what their online student community is like.
«Обычно я учусь тогда, когда есть время»
Три месяца назад начались занятия на первой в России магистерской программе ВШЭ на английском языке Master of Data Scienсe по направлению «Прикладная математика и информатика», реализуемой полностью онлайн на платформе Coursera. О своих впечатлениях рассказали ее студенты и преподаватель, сопровождающий один из курсов.
Online День открытых дверей магистратуры [Видео]
11 апреля на факультете компьютерных наук состоялся первый день открытых дверей в новом формате.
К обучению в онлайн-магистратуре ВШЭ приступили студенты из 21 страны
Начались занятия на магистерской программе Master of Data Science по направлению «Прикладная математика и информатика». Это первая в России программа высшего образования, реализуемая полностью в онлайн-формате на глобальной образовательной платформе Coursera. Обучение ведется на английском языке.
Итоги НИРС 2019
Подведены итоги конкурса научно-исследовательских работ студентов 2019 года.
Объявлены лучшие преподаватели НИУ ВШЭ – 2019
Традиционные выборы лучшего преподавателя Высшей школы экономики 2019 года состоялись.
Зимняя школа по компьютерным наукам 2019
С 3 по 7 февраля 2019 г. в Учебном центре Вороново состоялась Зимняя школа для поступающих в магистратуру факультета компьютерных наук. В этом году было подано 169 заявок из различных регионов России, а также Болгарии, Украины, Молдавии, Казахстана и Киргизии. Из них 50 участников были приглашены в Учебный центр.
Сотрудники Вышки получили премии правительства Москвы для молодых ученых
Руководитель департамента больших данных и информационного поиска Владимир Подольский и доцент департамента прикладной экономики Елена Вакуленко отмечены за свои математические труды и исследования рынка труда соответственно.
Объявлены итоги конкурса НИРС 2018
На официальном сайте появились результаты конкурса научно-исследовательских работ студентов (НИРС) 2018 года. Публикуем список победителей и лауреатов по направлению «Компьютерные науки».
Теоретическая информатика на ФКН
Этим летом в Вышке прошла 13-ая Международная конференция CSR-2018. Одним из ее главных организаторов стала Международная лаборатория теоретической информатики ФКН ВШЭ. Далее в статье – подробнее о некоторых ведущих ученых, которых будет интересно почитать и посмотреть, а также о возможностях на факультете для тех, кто хочет выбрать теоретическую информатику в качестве специализации на 3 курсе или просто интересуется исследованиями в этой области.
10 фактов о CSR-2018, одной из главных международных конференций по компьютерным наукам в России
В эти дни на Мясницкой, 11 проходит крупное научное событие — 13-я международная конференция International Computer Science Symposium in Russia (CSR-2018). Мы собрали 10 фактов о CSR, которые помогут понять, что это за конференция и почему она настолько важна для Computer Science в России. CSR-2018 завершится 10 июня, для студентов и сотрудников ВШЭ вход на нее свободный.
Поступающим рассказали об образовательной программе “Прикладная математика и информатика” в Яндексе
21 мая в офисе Яндекса состоялась встреча преподавателей факультета компьютерных НИУ ВШЭ с выпускниками школ этого года, которые показали отличные результаты на олимпиадах.
Сотрудники лаборатории теоретической информатики получили грант от РФФИ и Лондонского Королевского общества
Сотрудники лаборатории теоретической информатики стали победителями совместного конкурса проектов Российского фонда фундаментальных исследований и Лондонского Королевского общества.
ВШЭ запустила две новые специализации в области компьютерных наук на Coursera
Специализации Introduction to Discrete Mathematics for Computer Science и Advanced Machine Learning — англоязычные. Обе создавались при участии компании Яндекс, а специализация Introduction to Discrete Mathematics for Computer Science — также при участии Университета Калифорнии в Сан-Диего.
Третий междисциплинарный семинар САЕ «Математика, компьютерные науки и информационные технологии»
26 сентября на факультете математики НИУ ВШЭ прошел Третий научный междисциплинарный семинар Стратегической академической единицы «Математика, компьютерные науки и информационные технологии». На семинаре сотрудники факультета компьютерных наук представили доклады о своих научных результатах.
Лес, река и костер: летний поход ФКН 2017
В первые выходные после сессии сотрудники, студенты и выпускники факультета сходили в ежегодный летний поход ФКН. В этом году было выбрано Ярославское направление, лагерь располагался неподалеку от деревни Ахтырка в Сергиево-Посадском районе Московской области.
Conference "Mathematical logic, algebra and computation"
On July 18-19 a conference “Mathematical logic, algebra and computation" was held in Moscow. It was organized by the Steklov Mathematical Institute of Russian Academy of Science. The conference was dedicated to the 85th anniversary of academician S. I. Adian.
В Москве прошла конференция "Математическая логика, алгебра и вычислимость"
С 18 по 19 июля в Москве прошла конференция “Математическая логика, алгебра и вычислимость", организованная Математическим институтом им. В.А. Стеклова. Конференция была посвящена 85-летию академика РАН С.И. Адяна.
Второй летний поход факультета
2-3 июля прошел второй Летний поход факультета компьютерных наук. В этом году для лагеря было выбрано одно из самых красивых мест Подмосковья — озеро Чаек, в 50 км на Запад от Москвы по Рижскому направлению железной дороги.
Computer Science Faculty Staff Attend Symposium in Russia
On June 9-13, the international conference ‘Computer Science Symposium in Russia 2016’ was held in St. Petersburg as part of the Special Semester on Computational and Proof Complexity.
Сотрудники факультета на конференции Computer Science Symposium in Russia 2016
13 июня завершилась международная конференция Computer Science Symposium in Russia 2016, которая проходила 9-13 июня в Санкт-Петербурге во время “Специального семестра по теории сложности”. Семестр начался в апреле и продлится до конца июня. Помимо CSR-2016, в рамках Семестра прошли Symposium on Experimental Algorithms 2016, несколько семинаров, тьюториалов и три воркшопа. Семестр организован сотрудниками Исследовательской лаборатории им. П.Л. Чебышева, также в числе организаторов и участников – такие известные специалисты по Computer Science как Johan Håstad, Jan Krajíček, Pavel Pudlák, Madhu Sudan, Ryan Williams и другие. Сотрудники Международной лаборатории теоретической информатики факультета компьютерных наук принимают активное участие в работе Семестра.
Конференция «Проблемы теоретической информатики»
С 18 по 20 декабря на факультете компьютерных наук пройдет конференция «Проблемы теоретической информатики» (Problems in Theoretical Computer Science). Конференция проводится совместно с лабораторией математической логики Санкт-Петербургского отделения Математического института им. В.А. Стеклова РАН.
Молодые ученые ВШЭ включены в Совет по науке при Минобрнауки
Совет по науке при Министерстве образования и науки РФ принял решение о создании в своем составе секции молодых ученых, в ее состав вошли два исследователя Вышки — доцент Международного института экономики и финансов Дмитрий Макаров и руководитель Департамента больших данных и информационного поиска Владимир Подольский.
На департаменте больших данных плановая замена
В сентябре 2015 года новым руководителем департамента больших данных и информационного поиска стал доцент, кандидат физико-математических наук Владимир Владимирович Подольский.
Владимир Подольский о преподавании и научной работе
Один из Лучших преподавателей Вышки 2014/2015 учебного года по результатам голосования студентов доцент Владимир Подольский рассказал об исследованиях, прорывах и конференциях в области теоретической информатики, о своей научной работе и преподавании.
CSR 2015
13-17 июля прошла 10-я международная конференция CSR 2015 – Computer Science in Russia. Эта крупнейшая в России конференция по теоретической информатике была организована при поддержке Иркутского государственного университета, НИУ ВШЭ и компании «Яндекс». В качестве приглашенного докладчика в конференции принял участие доцент Владимир Подольский. Также с докладом выступил доцент Максим Бабенко.
Faculty of Computer Science to Offer Courses during HSE Summer University
Computer Science programme of the Summer University provides unique opportunities for students from around the world. The programme covers various topics in Computer Science from purely theoretical to applied and practical. Theoretical side of the programme includes both a detailed introduction to the theory of computations and more advanced topics in Artificial Intelligence and Statistical Diagnosis. Practical aspects of the programme are tightly integrated with theoretical material. Participants of the programme will have an opportunity to apply the new knowledge in their own programming experience, for example, in processing of natural languages, creating a distributed computing system or implementing a compiler for a programming language.