Assistant Professor (email)
Our work on HAROS, a framework for promoting high-assurance ROS software, has been accepted at the 3rd International Workshop on Robotics Software Engineering (RoSE).