Hi, I am Alexander Mayorov (a.k.a. ZeroBone) and this is my personal website. I am currently a computer science student and a backend developer.
Apart from studying I do research. My fields of interests:
- Theoretical computer science: algorithms, theory of computation, formal languages, etc.
- Logic, formal verification and automated proof procedures
- Compiler design and programming languages
- Group theory & linear algebra
- Graph theory
See Posts for more
Efficient algorithm that finds non-productive rules in context-free grammars Continue reading useless_productions
See Projects for more