Learning Backend Engineering · 3rd Year CS Student

Former physics student at Moscow State University. Moved to Computer Science.

Building toward backend and infrastructure engineering: systems design, API architecture, and orchestration. Interested in systems architecture rather than application-layer assembly.

Languages: C · C++ · C# · Python · Haskell (surface level)
Frameworks: ASP.NET Core
Databases: PostgreSQL · SQL Server

Systems Software — platform engineering, infrastructure, compilers, language runtimes, developer tooling, foundational systems.

Theoretical Foundations — formal logic, type theory, homotopy type theory, category theory, proof assistants (Lean), theoretical physics.

6th semester CS student. Studying backend systems and infrastructure design.

Learning Go.

Reading SQL Antipatterns by Bill Karwin.