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.
From 15/06/2010 till 18/06/2010, Dr. Andy King from the University of Kent in Canterbury visited our group to work with Dr. rer. nat. Jörg Brauer on interesting open issues in abstract interpretation. The visit was supported by the Royal Society, the english academy of sciences.
On July 15, Ashraf Armoush received his doctoral degree for his research on Design Patterns for Safety-Critical Embedded Systems. Congratulations, Ashraf!