Students will have the opportunity to study advanced topics related to programming language design and programming methodology: discussing programming paradigms, type systems, algorithms for type checking and type inference, methods for automated test generation focusing on specific language constructs or the detection of particular types of bugs, topics related to software evolution and maintenance and their relation to testing and bug detection. Students will be reading and discussing research papers, using state-of-the-art tools and carry out a project of their choice.

Description not available at this time