Проекты
На данной странице вы можете ознакомиться с кратким описанием проектных идей.
Система тегов позволит вам легко и быстро найти интересующий вас проект. Для подачи проекта или заявки на участие в проекте вам необходимо пройти регистрацию/авторизацию. Ознакомиться с заявками, находящимися на этапе модерации или в процессе доработки, можно в разделе «бездна».
Computability theory
Computable topological space
Primitive recursion
ONLINE
MCA
Computably universal spaces
The project contributes to a new and rapidly developing theory that aims to unite, explain, and ultimately advance the results on on-line computation. We work within a general framework for on-line computation for algebraic and combinatorial structures that relies on Dedekind's primitive recursion and advanced priority constructions. The specific problems that we consider are motivated by the well-known results from computable algebra. These problems deal with the computational content of the theory of metric spaces. The participants of the workshop are welcome to join our team!
Cryptography
Data
Programming
Applied mathematics
ONLINE
MCA
How to develop a bot mitigation system from scratch
Bots are malicious computer programs that are currently trying to break into your accounts, collect information about you or simply slow down your interaction with the favorite social network!
During the workshop we are going to develop our own bot mitigation system that will be able to protect web applications from different kinds of bots, such as crawlers, scrapers, headless browsers, web vulnerability scanners, and many others. Moreover, we will learn how to detect such bots and their behavior patterns to predict, prevent, learn and block such actions in the future.

Тех. поддержка:
Сайт разработан командой Инженерной школы НГУ при поддержке Математического центра в Академгородке, соглашение с Министерством науки и высшего образования Российской Федерации № 075-15-2019-1675.