Stefan Björnander, Doctoral student


Stefan Björnander graduated as a Master of Engineering in Computer Science at Umeå University in 1995 and started as an industrial Ph.D. candidate at CrossControl AB in Västerås in August 2011. He comes most recently from Mälardalen University, where he was a Ph.D. candidate working with formal verification. At CrossControl AB he works with SafeCer, which is an ARTEMIS-financed project targeting increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. The industrial domains targeted are within automotive and construction equipment, avionics, and rail. SafeCer will also develop certification guidelines for other domains. Stefan defended his licentiate thesis in December, 2012.