Joakim Gustavsson

Ph.D. Student

Phone: +46 8 790 78 95
E-mail: joagusta@kth.se
Visiting address: Brinellvägen 83

Research

My research interests include verification of cyber-physical systems, formal mathematics, model-driven systems engineering and architecture recovery of software architectures for embedded systems from source code artifacts.

Teaching

CV

I studied at the Highschool of Mathematics (Matematikgymnasiet), a collaboration between Danderyd’s Highschool and the Department of Mathematics at Stockholm University. Upon graduating in 2009, I began my bachelor’s studies in Computer Science at the CSC School at KTH Royal Institute of Technology, Stockholm, Sweden. I received my Bachelor’s degree in 2012, and went on to study the Embedded Systems Masters's programme at the KTH ICT School. In 2015, I finished my Master’s thesis at the automotive manufacturer Scania CV AB, performing research into modelling of source code for embedded systems.

In September of 2015, I began a PhD at the KTH ITM school, working within the ARCHER project - Architecture and Safety for Autonomous Heavy Vehicles -  researching methodologies for the development of fully autonomous heavy vehicles, focusing on the verification of such systems.  You can read more about the project   here

Publications

Top page top