Alec Boyadjiev

I work on mathematical questions shaped by computation, with an emphasis on clear arguments, useful abstractions, and reproducible research.

This site collects my research, writing, and professional work. Papers and notes are available as readable web documents or PDFs.

Current interests

Pure mathematics

Structures, proofs, and the ideas that connect them.

Algorithms, complexity, and rigorous models of computation.

Tools and experiments that make abstract work concrete.