Ivan Gazeau succeesfully defended his PhD yesterday (14 Oct 2013). His thesis is titled “Safe Programming in finite precision: Controling the errors and information leaks”. Ivan is in the process of packing up and moving to his next position as a PostDoc researcher at the University of Birmingham.
Oct 15
