Брыксин Тимофей Александрович
- Доцент:НИУ ВШЭ в Санкт-Петербурге / Санкт-Петербургская школа физико-математических и компьютерных наук / Департамент информатики
- Начал работать в НИУ ВШЭ в 2018 году.
Образование, учёные степени
- 2016Кандидат технических наук: Санкт-Петербургский государственный университет, специальность 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», тема диссертации: Платформа для создания специализированных визуальных сред разработки программного обеспечения
- 2007
Специалитет: Санкт-Петербургский государственный университет, специальность «Математическое обеспечение и администрирование информационных систем», квалификация «Математик, программист»
Выпускные квалификационные работы студентов
- Бакалавриат
Елисеева М. В. «Рекомендательная система для встроенных инструментов IntelliJ IDEA». Санкт-Петербургская школа физико-математических и компьютерных наук, 2020
Ерохина А. С. «Автоматическая кластеризация изменений кода, основанная на сценариях редактирования». Санкт-Петербургская школа физико-математических и компьютерных наук, 2020
Кириленко А. А. «Автоматическая рекомендация рефакторинга "Выделение метода" при копировании кода в IDE». Санкт-Петербургская школа физико-математических и компьютерных наук, 2020
Правилов М. Е. «Построение векторных представлений для изменений программного кода». Санкт-Петербургская школа физико-математических и компьютерных наук, 2020
Абрамов Д. П. «Генерация высокоуровневых представлений изменений программного кода на основе абстрактных синтаксических деревьев». Санкт-Петербургская школа физико-математических и компьютерных наук, 2020
Веселов И. Д. «Применение методов машинного обучения для автоматической рекомендации рефакторинга "перемещение метода"». Санкт-Петербургская школа физико-математических и компьютерных наук, 2019
Лобанов А. В. «Определение типов ошибок в решениях задач онлайн-курсов по программированию». Санкт-Петербургская школа физико-математических и компьютерных наук, 2019
- Магистратура
Лобанов А. В. «Решение задач программной инженерии на основе объединения информации из разных источников». Санкт-Петербургская школа физико-математических и компьютерных наук, 2021
Семенкин А. А. «Построение быстрой и легковесной модели на базе архитектуры Трансформер для полнострочного дополнения кода в интегрированных средах разработки». Факультет компьютерных наук, 2021
Богомолов Е. О. «Использование моделирования тем в задачах разработки программного обеспечения». Санкт-Петербургская школа физико-математических и компьютерных наук, 2021
Гусев А. С. «Восстановление участков сейсмограмм с помощью глубокого обучения». Санкт-Петербургская школа физико-математических и компьютерных наук, 2021
Суворов Е. Ф. «Автоматическая генерация типобезопасных интерфейсов на C++/WebAssembly из интерфейсов TypeScript». Санкт-Петербургская школа физико-математических и компьютерных наук, 2020
Научный руководитель диссертационных исследований
Учебные курсы (2020/2021 уч. год)
Машинное обучение в SE (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; направление "01.04.02. Прикладная математика и информатика", направление "01.04.02. Прикладная математика и информатика"; 2-й курс, 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2019/2020 уч. год)
- Анализ изображений (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 4 модуль)Рус
- Графические интерфейсы (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 4-й курс, 1, 2 модуль)Рус
- Графические интерфейсы (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 1, 2 модуль)Рус
- Machine Learning (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 2 модуль)Анг
- Разработка программного обеспечения (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 1, 3, 4 модуль)Рус
- Управление разработкой ПО (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 3, 4 модуль)Рус
- Эффективное программирование на C++ (Магистратура; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 1-й курс, 1-4 модуль)Рус
Учебные курсы (2018/2019 уч. год)
- Разработка программного обеспечения (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 3-й курс, 1, 3, 4 модуль)Рус
- Язык программирования Java (Бакалавриат; где читается: Санкт-Петербургская школа физико-математических и компьютерных наук; 2-й курс, 3, 4 модуль)Рус
Публикации19
- Глава книги Golubev Y., Eliseeva M., Povarov N., Bryksin T. A Study of Potential Code Borrowing and License Violations in Java Projects on GitHub, in: MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories. ACM Press, 2020. P. 54-64. doi
- Глава книги Kovalenko V., Богомолов Е. О., Bryksin T., Bacchelli A. Building Implicit Vector Representations of Individual Coding Style, in: 13th International Workshop on Cooperative and Human Aspects of Software Engineering. , 2020. P. 1-8. (в печати)
- Глава книги Kurbatova Z., Veselov I., Golubev Y., Bryksin T. Recommendation of Move Method Refactoring Using Path-Based Representation of Code, in: IEEE/ACM 42nd International Conference on Software Engineering Workshops. Association for Computing Machinery (ACM), 2020. P. 315-322. doi
- Глава книги Богомолов Е. О., Golubev Y., Лобанов А. В., Kovalenko V., Bryksin T. Sosed: a tool for finding similar software projects, in: 35th IEEE/ACM International Conference on Automated Software Engineering. , 2020. P. 1-4. (в печати)
- Глава книги Bryksin T., Petukhov V., Alexin I., Prikhodko S., Shpilman A., Kovalenko V., Povarov N. Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler, in: MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories. ACM Press, 2020. P. 455-465. doi
- Глава книги Bryksin T., Petukhov V., Alexin I., Prikhodko S., Shpilman A., Kovalenko V., Povarov N. Using Large-Scale Anomaly Detection on Code to Improve Kotlin Compiler, in: MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories. ACM Press, 2020. P. 455-465. doi
- Глава книги Svitkov S., Bryksin T. Visualization of Methods Changeability Based on VCS Data, in: MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories. ACM Press, 2020. P. 477-480. doi
- Глава книги Лобанов А. Н., Bryksin T., Shpilman Alexey. Automatic classification of error types in solutions to programming assignments at online learning platform, in: Artificial Intelligence in Education Vol. 11626. Springer, 2019. doi P. 174-178. doi
- Глава книги Novozhilov E., Веселов И. Д., Правилов М. Е., Bryksin T. Evaluation of move method refactorings recommendation algorithms: are we doing it right?, in: 2019 IEEE/ACM 3rd International Workshop on Refactoring (IWoR). IEEE, 2019. P. 23-26. doi
- Глава книги Tankov V., Golubev Y., Bryksin T. Kotless: A Serverless Framework for Kotlin, in: Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering. IEEE, 2019. doi P. 1110-1113. doi
- Глава книги Kovalenko V., Bogomolov E., Bryksin T., Bacchelli A. PathMiner: a library for mining of path-based representations of code, in: Proceedings of the 16th International Conference on Mining Software Repositories (MSR). IEEE, 2019. P. 13-17. doi
- Глава книги Bryksin T., Shpilman A., Kudenko D. Automated Refactoring of Object-Oriented Code Using Clustering Ensembles, in: Workshops at the Thirty-Second AAAI Conference on Artificial Intelligence. , 2018. P. 754-757.
- Глава книги Bryksin T., Novozhilov E., Shpilman A. Automatic recommendation of move method refactorings using clustering ensembles, in: Proceedings of the 2nd International Workshop on Refactoring. ACM, 2018. doi P. 42-45. doi
- Глава книги Bryksin T., Tankov V. Data-based code synthesis in IntelliJ IDEA, in: Proceedings of the Third Conference on Software Engineering and Information Management (SEIM-2018) (full papers) / Ed. by Ю. В. Литвинов, M. Atkin, B. Novikov, V. Itsykson. CEUR Workshop Proceedings, 2018. Ch. 7. P. 37-43.
- Глава книги Terekhov A., Bryksin T., Литвинов Ю. В. History of Development of Visual Modeling Tools at the Saint Petersburg State University, in: Selected Papers 2017 Fourth International Conference on Computer Technology in Russia and in the Former Soviet Union (SORUCOM). IEEE CS Pre, 2017. P. 109-113. doi
- Глава книги Bryksin T., Литвинов Ю. В., Терехов А. Н. How to Make Visual Modeling More Attractive to Software Developers, in: Present and Ulterior Software Engineering. Cham : Springer, 2017. doi Ch. 9. P. 139-152.
- Глава книги Мордвинов Д. А., Литвинов Ю. В., Bryksin T. TRIK Studio: Technical Introduction, in: Proceedings of the 20th Conference of Open Innovations Association FRUCT. FRUCT Oy, 2017. P. 296-308. doi
- Глава книги Брыксин Т. А., Лучин Р. М. Платформа ТРИК: Новые задачи и новые возможности // В кн.: Преподавание информационных технологий в Российской Федерации: материалы Четырнадцатой открытой Всеросс. конф. (Санкт- Петербург, 19–20 мая 2016 г.). М. : 1С-Паблишинг, 2016. С. 300-301.
- Статья Терехов А. Н., Брыксин Т. А., Литвинов Ю. В. QReal: платформа визуального предметно-ориентированного моделирования // Программная инженерия. 2013. № 6. С. 11-19.
Опыт работы
Сентябрь 2018 — настоящее время
Высшая школа экономики, Санкт-Петербург, доцент Департамента информатики
Сентябрь 2008 — настоящее время
Санкт-Петербургский государственный университет, доцент кафедры системного программирования (с 2016 года, до этого старший преподаватель)
Сентябрь 2016 — настоящее время
JetBrains Research (ООО “ИнтеллиДжей Лабс”), Руководитель исследовательской группы
Апрель 2012 — Июль 2016
ООО «Распределённые мобильные технологии», Генеральный директор
Февраль 2014 — Июнь 2016
ООО «КиберТех», Исполнительный директор
Март 2012 — Февраль 2014
ООО «Системы компьютерного зрения», Инженер-программист
Июнь 2006 — Март 2012
ООО «Ланит-Терком», Инженер-программист