This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
Our paper "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers" accepted at SAE 2015
by Jianmei Guo on February 15, 2015
