Welcome!
Hi, I am Alexander Mayorov and this is my personal website. I am currently a computer science student at the University of Kaiserslautern-Landau. I’m also a backend and open-source developer.
Apart from studying I do research. My fields of interests:
- Algorithms, complexity theory, theory of computation and related areas
- Information theory, logic, formal verification and automated reasoning
- Linear algebra, Group, Ring and Galois theory
- String combinatorics, Graph theory and Ramsey theory
- Compiler design and programming languages
My hobbies include climbing, orienteering, swimming & traveling. I am also interested in fundamental Human Rights. I am passionate about computer science and math.
Publications
| Title | Links |
|---|---|
| Variable Independence in Linear Real Arithmetic (Bachelor’s thesis) | arXiv, presentation |
Latest posts
Computing square roots modulo a prime with the Tonelli-Shanks algorithm
Continue reading Computing square roots modulo a prime with the Tonelli-Shanks algorithm
Visualization and detailed description of the interactive protocol for TQBF yielding IP = PSPACE
Continue reading Visualization and detailed description of the interactive protocol for TQBF yielding IP = PSPACE
See Posts for more
Latest projects
Cover
Implementation of the covering algorithm for solving the variable decomposition problem in linear real arithmetic Continue reading Cover
TonelliShanks
Implementation of the Tonelli-Shanks algorithm for computing square roots modulo a prime number Continue reading TonelliShanks
See Projects for more
