- ๐ผ DevOps Engineer at YADRO
- ๐ I love to play the guitar
- ๐ฅ I am a master of sports in Jiu-Jitsu
- ๐ฐ I write scientific articles on Habr
- ๐ฅ I am constantly learning new things
- ๐ค I am a second-year graduate student of St. Petersburg Polytechnic University (Fundamental Informatics and Information Technology)
- ๐ I am a prize-winner (2nd place) of the first All-Russian competition for formal verification of VeHa-2023 programs held as part of the PSSV-2023 conference
paveldat / translator Goto Github PK
View Code? Open in Web Editor NEWTranslator using Python