Булычев Дмитрий Юрьевич
- Приглашенный преподаватель:НИУ ВШЭ в Санкт-Петербурге / Санкт-Петербургская школа физико-математических и компьютерных наук / Департамент информатики
- Начал работать в НИУ ВШЭ в 2018 году.
Образование, учёные степени
- 2004Кандидат физико-математических наук: Санкт-Петербургский государственный университет
- 1994
Специалитет: Санкт-Петербургский государственный университет, специальность «Программное обеспечение вычислительной техники и автоматизированных систем», квалификация «Математик»
Учебные курсы (2023/2024 уч. год)
- Компиляторы (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Компиляторы (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Логическое и реляционное программирование (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 3 модуль)Рус
- Семантики языков программирования (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 3, 4 модуль)Рус
Учебные курсы (2021/2022 уч. год)
Компиляторы (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 1, 2 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Компиляторы (Бакалавриат; где читается: Факультет информатики, математики и компьютерных наук (Нижний Новгород); 2-й курс, 1, 2 модуль)Рус
- Логическое и реляционное программирование (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 3 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Компиляторы (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Логическое и реляционное программирование (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 3 модуль)Рус
Учебные курсы (2018/2019 уч. год)
Семантики языков программирования (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 4 модуль)Рус
Публикации10
- Глава книги Булычев Д. Ю., Розплохас Д. Improving Refutational Completeness of Relational Search via Divergence Test, in: Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming. , 2018. doi P. 1-13. doi
- Глава книги Булычев Д. Ю., Лозов П. Typed Relational Conversion, in: 18th International Symposium on Trends in Functional Programming. Springer, 2018. P. 39-58. doi
- Статья Булычев Д. Ю. Combinators and type-driven transformers in Objective Caml // Science of Computer Programming. 2015. Vol. 114. P. 57-73. doi
- Статья Podkopaev A., Булычев Д. Ю. Polynomial-Time Optimal Pretty-Printing Combinators with Choice // Lecture Notes in Computer Science. 2015. Vol. 8974. P. 257-265. doi
- Глава книги Булычев Д. Ю., Подкопаев А. В. Polynomial-Time Optimal Pretty-Printing Combinators with Choice, in: 9th International Ershov Conference on Perspectives of System Informatics. Springer, 2014. doi
- Глава книги Булычев Д. Ю., Березун Д. А. Precise garbage collection for C++ with a non-cooperative compiler, in: Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia. , 2014. doi
- Глава книги Булычев Д. Ю., Олег М. Hardware description language based on message passing and implicit pipelining, in: East and West Design and Test Conference. , 2010. doi
- Глава книги Булычев Д. Ю. BURS-Based Instruction Set Selection, in: 6th International Andrei Ershov Memorial Conference on Perspectives of System Informatics. , 2006. doi
- Глава книги Булычев Д. Ю., Дмитрий Л. An Empirical Study of Retargetable Compilers, in: 4th International Ershov Conference on Perspectives of System Informatics. , 2002. doi
- Глава книги Булычев Д. Ю., Андрей Т., Дмитрий К. On project-specific languages and their application in reengineering, in: Proceedings of the Euromicro Conference on Software Maintenance and Reengineering. , 2002. doi