This secondment was related to Task 3.5, working towards providing techniques to guide and verify the correct usage of APIs and of their composition. In particular we are planning to develop techniques that combine static typing with dynamic typing and monitoring in the same complex system.