Kaj Munhoz Arfvidsson
Doctoral student, Research Engineer
Details
Researcher
About me
Kaj Munhoz Arfvidsson is a PhD student and research engineer at the Division of Decision and Control Systems, KTH Royal Institute of Technology, supervised by Professor Jonas Mårtensson. His research is part of the Wallenberg AI, Autonomous Systems and Software Program (WASP) and the Integrated Transport Research Lab (ITRL).
Kaj’s work explores how formal methods, control theory, and reachability analysis can enable safe and scalable cooperation in intelligent transportation systems. His current focus is on developing formal frameworks that define and verify cooperation guarantees among vehicles, infrastructure, and cloud systems.
He holds an M.Sc. in Systems, Control, and Robotics from KTH (2024) and has a strong interest in cooperative autonomy, intelligent transportation, and the interface between formal reasoning and practical deployment, particularly in safety-critical and connected mobility scenarios.
Kaj is passionate about bridging theory and engineering practice, teaching project-based control and systems design, and improving collaboration between academia and industry. He welcomes contact from motivated students interested in formal methods, autonomous vehicles, or connected transport systems.