- πΌ 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
-
Couldn't load subscription status.
- Fork 0
paveldat/paveldat
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Latest commit | ||||
Repository files navigation
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published