Kaj Arfvidsson
Doctoral Student at KTH Royal Institute of Technology
Stockholm, Sweden
Summary
👤
Senior🎓
Top SchoolKaj Arfvidsson is a methodical doctoral student at KTH specializing in control theory and autonomous systems, with a decade of hands-on experience spanning research engineering, software development, and teaching. Rooted in an electrical engineering background and an MS in Systems, Control and Robotics, he applies formal methods to transportation applications while exploring programming language design. His career ranges from industrial software roles at Leine Linde to lab-based research at ITRL, complemented by teaching computing systems and math—evidence of both practical and pedagogical strengths. Calm, curious and problem-driven, Kaj enjoys turning rigorous theory into dependable real-world systems and steadily improving his work and surroundings each day.
10 years of coding experience
4 years of employment as a software developer
Master of Science - MS, Systems, Control and Robotics, Master of Science - MS, Systems, Control and Robotics at KTH Royal Institute of Technology
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (43)
typst10
plugin10
jetson9
language-server-protocol9
vim-plugin9
language-server9
ros9
nvidia9
vim8
neovim8
nvidia-jetson8
jetpack7
docker7
nvim7
object-detection6
Programming languages (10)
Github contributions (5)
KTH-SML/pyspect
Mar 2024 - Jul 2026
Python Specification and Control with Temporal Logic Trees
Contributions:2 PRs, 31 pushes, 7 branches in 2 years 3 months
python
kaarmu/allc
Apr 2023 - Jun 2025
STB-style header libraries for everyday, general-purpose features with comfortable and easily understandable APIs.
Contributions:2 PRs, 13 pushes, 6 branches in 2 years 2 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.