Nikos Alexandris

Student

Gothenburg, Västra Götaland County, Sweden
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
Nikos Alexandris is a CS MSc student at Chalmers University with five years of hands-on experience in software engineering. Based in Gothenburg, he combines academic rigor with practical development experience gained over multiple projects and roles. He’s likely comfortable across core CS areas and brings the perspective of someone transitioning from industry experience into advanced study. Colleagues would describe him as curious and disciplined, pursuing deeper technical specialization while remaining grounded in real-world engineering constraints. Though early in his research trajectory, he already balances study and professional practice in Sweden’s vibrant tech scene.
code5 years of coding experience
github-logo-circle

Github Skills (52)

sml10
gcc10
emacs-lisp9
sat9
emacs9
vim9
rust8
formal-verification8
verification8
hol8
csharp7
rust-lang7
programming-language7
tlaplus7
melpa7

Programming languages (8)

TypeScriptC++RustCCoqStandard MLJupyter NotebookEmacs Lisp

Github contributions (5)

github-logo-circle
nikos-alexandris/ic

Nov 2022 - Jan 2023

Contributions:37 commits, 35 pushes, 1 branch in 1 month
nikos-alexandris/AOC2022

Dec 2022 - Dec 2022

Contributions:17 commits, 15 pushes, 1 branch in 9 days
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.
Request Free Trial
Nikos Alexandris - Student