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.


Variable Independence in Linear Real Arithmetic (Bachelor’s thesis)arXiv, presentation

Latest posts

See Posts for more

Latest projects

See Projects for more

Copyright © 2019 — 2023 Alexander Mayorov. All rights reserved.