Dr Benjamin Lesage
Off
Dr Benjamin Lesage is a Research Associate inthe High Integrity Software Engineering group at the 9 1Ãâ·Ñ°æÏ of York, York, UK. He received his Ph.D from the 9 1Ãâ·Ñ°æÏ of Rennes, France, in 2013. His early work focused on Real-Time Systems and in particular timing analyses for multi-core systems. His participation to a Knowledge Transfer Partnership with Rolls-Royce led the definition of automated timing analysis using coverage information (TACO). In the CSI: Cobot project, he applies his knowledge of automated software testing techniques to the safety analysis of collaborative robot systems.
