From 19/07/2010 till 13/08/2010, Thomas Reinbacher visits our group. Thomas is a PhD student from the Technical University of Vienna in Austria, and his research focuses on the generation of test cases from microcontroller binary code. He has also participated in the development of the [mc]square model checker in the past.

On 29/07/2010 at 10am, Thomas will give a 30-minutes talk on his work. The talk will take place in room 2002, and everyone interested is kindly invited to attend.