Хританков Антон Сергеевич
- Начал работать в НИУ ВШЭ в 2021 году.
Образование, учёные степени
- 2010Кандидат физико-математических наук
- 2007
Магистратура: Московский физико-математический институт (государственный университет), специальность «Прикладные математика и физика», квалификация «Магистр»
- 2005
Бакалавриат: Московский физико-математический институт (государственный университет), специальность «Прикладные математика и физика», квалификация «Бакалавр»
Учебные курсы (2023/2024 уч. год)
- Advanced Software Design (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Анг
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
Advanced Software Design (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Анг
Учебные курсы (2021/2022 уч. год)
Advanced Software Design (Магистратура; где читается: Факультет компьютерных наук; 1-й курс, 1, 2 модуль)Анг
20241
Статья Якушева С. Ф., Хританков А. С. Систематический обзор методов составления тестовых инвариантов // Программные системы: теория и приложения. 2024. Т. 15. № 2. С. 37-86. doi
20233
- Статья Fedotov I., A. S. Khritankov, Obidare M. Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems // Programming and Computer Software. 2023. Vol. 49. No. 5. P. 448-454. doi
- Глава книги Sofia Iakusheva, Anton Khritankov. Metamorphic Testing for Recommender Systems, in: The 11th International Conference on Analysis of Images, Social Networks and Texts. Yerevan : , 2023. P. 281-293. doi
- Статья Anton Khritankov. Positive feedback loops lead to concept drift in machine learning systems // Applied Intelligence. 2023. Vol. 53. No. 19. P. 22648-22666. doi
20225
- Глава книги Iakusheva S., Anton Khritankov. Composite metamorphic relations for integration testing, in: ICCTA '22: Proceedings of the 2022 8th International Conference on Computer Technology Applications. NY : Association for Computing Machinery (ACM), 2022. P. 98-105. doi
- Глава книги Anton Khritankov, Pershin N., Ukhov N., Ukhov A. MLDev: Data Science Experiment Automation and Reproducibility Software, in: Data Analytics and Management in Data Intensive Domains. 23rd International Conference, DAMDID/RCDL 2021, Moscow, Russia, October 26–29, 2021, Revised Selected Papers. Springer, 2022. doi P. 3-18. doi
- Глава книги Fedotov I., Anton Khritankov, Barger A. Optimizing multi-party agreement protocols, in: 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022. IEEE, 2022. doi P. 55-58. doi
- Глава книги Fedotov I., Anton Khritankov, Barger A. Towards verification of probabilistic multi-party consensus protocols: Constructing algorithms for verification of multi-party protocols with probabilistic properties, in: 2022 The 5th International Conference on Software Engineering and Information Management (ICSIM). NY : Association for Computing Machinery (ACM), 2022. doi P. 100-105. doi
- Статья Федотов И. А., Хританков А. С., Обидаре М. Д. Автоматическая верификация многосторонних соглашений и планирование отправки сообщений в системах распределенного реестра // Программная инженерия. 2022. № 4. С. 200-208. doi
20215
- Глава книги Anton Khritankov, Pilkevich A. Existence Conditions for Hidden Feedback Loops in Online Recommender Systems, in: Web Information Systems Engineering – WISE 2021. 22nd International Conference on Web Information Systems Engineering, WISE 2021, Melbourne, VIC, Australia, October 26–29, 2021, Proceedings Vol. 2: Part II. Springer, 2021. doi P. 267-274. doi
- Глава книги Anton Khritankov. Hidden Feedback Loops in Machine Learning Systems: A Simulation Model and Preliminary Results, in: Software Quality: Future Perspectives on Software Engineering Quality: 13th International Conference, SWQD 2021, Vienna, Austria, January 19–21, 2021, Proceedings. Springer, 2021. doi P. 54-65. doi
- Препринт Khritankov Anton, Pershin N., Uhov N., Uhov A. MLDev: Data Science Experiment Automation and Reproducibility Software / arXiv.org. Series arXiv:2107.12322 "Computer Science > Machine Learning". 2021.
- Глава книги Fedotov I., Anton Khritankov. Statistical Model Checking of Common Attack Scenarios on Blockchain, in: Electronic Proceedings in Theoretical Computer Science (EPTCS). Proceedings of the 9th International Symposium on Symbolic Computation in Software Science. Open Publishing Association, 2021. doi P. 65-77. doi
- Статья Воронцов К. В., Игловиков В., Стрижов В., Устюжанин А. Е., Хританков А. С. Проблемы проведения экспериментов и воспроизводимости исследований в науках о данных // Труды Московского физико-технического института. 2021. Т. 13. № 2. С. 100-108.
20202
- Глава книги Ivanova Y., Anton Khritankov. RegularMutator: A Mutation Testing Tool for Solidity Smart Contracts, in: Procedia Computer Science Vol. 178: 9th International Young Scientists Conference in Computational Science, YSC2020, 05-12 September 2020. Elsevier, 2020. P. 75-83. doi
- Статья Федотов И., Хританков А. С. Систематический обзор исследований в области автоматической верификации кода смарт-контрактов // Программная инженерия. 2020. № 1. С. 3-13. doi
20191
Глава книги Kuvshinova T., Anton Khritankov. Improving a Language Model Evaluator for Sentence Compression Without Reinforcement Learning, in: ACM International Conference Procedings Series (ICPS). SoICT 2019: Proceedings of the Tenth International Symposium on Information and Communication Technology. Association for Computing Machinery (ACM), 2019. doi P. 92-97. doi