Alec Boyadjiev

Personal Site and Research Blog

01

Random Graph Theory as Point Process Theory

I am exploring the bridge between random graphs and adjacency processes, their measure-theoretic analogues. The ultimate aim is to study asymptotic behaviors of random graph sequences and derive suitable point process representations from which the limiting asymptotic values can be attained.

02

Artificial Intelligence for Mathematical Reasoning

In line with my studies at UvA, I am fascinated by the mathematically oriented side of artificial intelligence. I aim to conduct research in the development of classical AI models, as well as domain-specific projects aimed at improving formal mathematical reasoning.

03

Mathematical Knowledge Systems and Formalization

In addition to the practice and research of mathematics, I believe that the best progress comes from accessible material and collaboration. I aim to develop systems for the practice, searchable archiving, and communication of mathematics that leverage modern tools to streamline mathematical research.