Aleksey Veresov
Software Engineer at Hopsworks
Stockholm, Sweden
Summary
👤
Senior🎓
Top SchoolAleksey Veresov is a software engineer and KTH Computer Science master’s student with a decade of hands-on experience spanning research, backend systems, and formal methods. He worked on formalizing Portals and now contributes to Hopsworks, bringing a research-driven approach to practical engineering. His background includes FPGA function implementation, parallel program optimization, and Haskell backend development for educational platforms. Aleksey combines low-level systems experience (C, emulator and custom M68k CPU design) with language-oriented interests, having built a stack-oriented compiler and written a popular technical blog on C’s real-world quirks. He has supported and organized academic conferences, handling technical infrastructure and streaming, reflecting strong event and systems-operational skills. Based in Stockholm, he blends rigorous academic training with eclectic side projects that bridge hardware, compilers, and tooling.
10 years of coding experience
5 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at KTH Royal Institute of TechnologyLomonosov Moscow State University
Github Skills (28)
sdk10
api9
python8
ssi8
scala8
feature-store8
spark8
model-registry8
java7
database7
sql6
documentation5
embedded-database5
database-management5
analytics5
Programming languages (7)
Github contributions (5)
DD2480-group14/Assignment-1
Jan 2023 - Jan 2023
Warning: This is a university project of no use.
Contributions:27 reviews, 34 PRs, 50 pushes in 3 days
aversey/vsdns
Apr 2020 - Sep 2022
Contributions:8 commits, 9 pushes, 1 branch in 2 years 4 months
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.