Kaj Munhoz Arfvidsson

Kaj Munhoz Arfvidsson is a PhD student at the Division of Decision and Control Systems, KTH Royal Institute of Technology, under the supervision of Jonas Mårtensson. His research is affiliated with the Wallenberg AI, Autonomous Systems and Software Program (WASP) and the Integrated Transport Research Lab (ITRL). Kaj received his M.Sc. degree in Systems, Control and Robotics from KTH in 2024. His research interests are in formal methods/verification, cooperative autonomy, and intelligent transportation systems. Kaj is passionate about bridging theory and practical deployment, particularly in safety-critical, connected mobility scenarios.

I'm always happy to hear from motivated master's students interested in formal methods, autonomous vehicles, or intelligent transportation, feel free to get in touch!