Pavel Atanasov
Teaching Assistant at Sofia University St. Kliment Ohridski
Pernik, Pernik, Bulgaria
Summary
🤩
Rockstar🎓
Top SchoolPavel Atanasov is a software engineer and teaching assistant with seven years of experience, specializing in Rust, compiler engineering, and Nix-driven DevOps. He teaches Functional Programming at Sofia University’s Faculty of Mathematics and Informatics and has supported introductory programming courses, blending academic instruction with hands-on engineering. Pavel has held R&D and senior Rust roles in blockchain and Web3 firms, bringing research-oriented problem solving to production-grade systems. His background includes a traineeship at VMware, demonstrating exposure to enterprise-scale engineering practices alongside startup agility. Based in Pernik, Bulgaria, he combines deep functional programming knowledge with practical compiler and deployment tooling expertise. Colleagues describe him as a bridge between formal academic concepts and real-world system delivery, often translating research ideas into reproducible engineering workflows.
7 years of coding experience
3 years of employment as a software developer
Bachelor's degree, Computer Software Engineering, Bachelor's degree, Computer Software Engineering at Sofia University St. Kliment Ohridski
Github Skills (87)
nix10
command-line-interface10
fennel10
vim10
lua10
nvim10
gpu-acceleration10
nixos10
linux10
telescope10
api10
text-editor10
termux10
nixpkgs10
extensibility10
Programming languages (22)
Github contributions (5)
reo101/rix101
Nov 2022 - Feb 2023
My NixOS, nix-on-droid and nix-darwin configs.
Contributions:69 commits, 245 pushes, 3 branches in 2 months
nixnix-darwinnixosnix-on-droidneovim
reo101/nix-update.nvim
Mar 2023 - Mar 2026
Reimplementation of https://github.com/jwiegley/nix-update-el for Neovim using Treesitter
Contributions:56 pushes, 2 branches, 4 comments in 3 years
neovimnixtree-sitterfennel-langneovim-plugin
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.