Computer Science

General goals: The course aims at presenting advanced methods and software tools for modelling, design, verification and validation of intelligent systems. Specific goals: The course aims at making students proficient in the comprehension and application of advanced modelling, design, verificaton and validation techniques for intelligent systems. Knowledge and understanding: A wide-spectrum introduction to advanced principles of modelling, analisys and design of intelligent systems. Applying knowledge and understanding: The successful student will be able to exploit the portfolio of techniques and the different approaches shown in the course for the modelling, design, verificaton and validation of intelligent systems. Critical and judgmental skills: Students will be able to take autonomous and rational decisions on the most effective methods and software tools to employ for the modelling, design, verification and validation of intelligent systems. Communication skills: Students will be able to interact proficiently with domain experts on a wide set of topics concerning modelling, design, verification and validation of intelligent systems. Learning ability: Students will be able to extend their skills in the subjects of this course, by the autonomous reading of relevant scientific literature.