Maxim Gusev
Intern at JetBrains
Aarhus, Central Denmark Region
Summary
👤
Senior🎓
Top SchoolMaxim Gusev is a master’s student in Logic, Semantics and Verification at Aarhus University building practical verification tooling and language work in academia and industry. He brings eight years of programming experience across C++, Python, Scala, and Go, and has hands-on exposure to formal methods through his current JetBrains internship formalizing IRIS in Martin-Löf Type Theory for the Arend prover. Previously he implemented front-end layers for a blockchain platform at Partisia and taught graph theory, programming and linear algebra as a teaching assistant, reflecting a blend of applied engineering and pedagogy. Strong in algorithms, parallel computing, testing and benchmarking, he is pursuing research-led development in programming languages and verification while also exploring machine learning—an uncommon cross-section that helps him translate formal concepts into practical software.
8 years of coding experience
Master of Science - MS Logic Semantics and Verification + Programming Languages, Master of Science - MS Logic Semantics and Verification + Programming Languages at Aarhus UniversityBachelor of Science - BS Theoretical Computer Science, Bachelor of Science - BS Theoretical Computer Science at Czech Technical University in Prague
English, Russian, German, Czech
Github Skills (16)
imperative10
logic10
declarative-programming9
jvm8
tetris8
functional8
programming-language7
interpreter6
compiler5
screen-reader2
voxel-engine1
minecraft1
egui1
top-down1
ai1
Programming languages (4)
Github contributions (5)
Emaisty/Longnum
Jan 2020 - Jan 2023
Contributions:7 pushes, 1 branch in 2 years 11 months
Emaisty/Compiler_for_TinyGO
Jul 2023 - May 2024
Contributions:56 pushes, 2 branches in 10 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.