My research is focused on security and dependability of cyber-physical systems. This includes formal reasoning about security and correctness properties, designing new protocols and algorithms, and evaluation using simulation and realistic testbeds. Relevant application areas include intelligent transportation systems, smart grids, and autonomous systems.
I teach in courses such as discrete structures, cybersecurity, concurrent programming and operating systems, and ethical hacking. I’m the coordinator for a two-year Master’s programme in Cybersecurity and a five-years Master’s programme in Information technology.
For updated information about research activities see www.asplund.eu
