Section: Partnerships and Cooperations

International Research Visitors

Visits of International Scientists

Prof. Boualem Benatallah, Professor at the School of Computer Science and Engineering (CSE), the University of New South Wales (UNSW) in Sydney, Australia, visited our group for one week in July 2014. The goal of this visit was to initiate common work on the formal verification of web services orchestration and verified API-driven web programming.

Internships

Martì Bosch Padros from Universitat Politècnica de Catalunya (UPC) Spain spent six months in the team to work on Automated Refactoring for Size Reduction of CSS Style Sheets.

Joel Ferreira Dos Santos from Universidade Federal Fluminense, UFF, Brasil is spending a one year sandwich PhD in the team to work on the formal verification of multimedia presentations.