![\"06](\"\/images\/slider\/slider-wif\/06-java-eclipse.png\")
<\/h2>\n<\/h2>\nThis track is designed to train students in the rigorous design and analysis of complex software systems, with a focus on abstract modeling, formal verification, and the systematic development of correct, secure, and efficient software. At its core, the track treats software engineering as both a scientific and practical discipline\u2014balancing foundational theory with hands-on implementation.<\/span><\/p>\n Students will explore formal methods for specifying, modeling, and verifying software artifacts, learning to ensure functional correctness, reliability, and security within modern ecosystems. The track reflects the growing industrial adoption of automated proof assistants and verification tools, echoing past shifts toward type systems and interface contracts in software development.<\/span><\/p>\n Through a carefully structured sequence of core and elective courses, the track addresses the scientific and engineering challenges of software construction over advanced digital infrastructures, including multiprocessors, embedded systems, distributed platforms, and emerging computational paradigms. Core topics such as advanced programming, compilation, static analysis, software verification, and programming logics are complemented by elective courses in areas ranging from distributed algorithms to quantum computing and machine learning.<\/span><\/p>\n Laboratory-based learning is a key aspect of the track. Students will engage in real-world projects and gain practical experience with advanced and evolutionary tools and methodologies used in both academia and industry. This blend of theory and application prepares graduates to lead innovation in software development and tackle complex challenges in diverse technological domains.<\/span><\/p>\n Graduates of the Foundations of Software track acquire advanced skills for designing, analyzing, and verifying complex software systems. Their strong grounding in formal methods, program analysis, and system-level development makes them ideal candidates for roles in high-assurance software development, secure systems engineering, and performance-critical applications.<\/span><\/p>\n Career opportunities span major ICT companies\u2014such as Google, Microsoft, IBM, and others\u2014where rigorous software engineering practices are essential. Graduates are also well prepared for roles in public organizations, research labs, and companies developing software for distributed systems, embedded platforms, or emerging computing technologies. Graduates are well prepared for careers in top-tier tech companies (both national and international) or to pursue Ph.D. programs in Computer Science or related fields.<\/span><\/p>\n The current structure of the Software track has been redesigned to specifically focus on formal methods, program correctness, and abstract modeling. Core courses emphasize the theoretical foundations\u2014such as program semantics, logical reasoning, and static analysis\u2014through subjects like <\/span>Models for Programming Paradigms<\/span><\/i>, <\/span>Program Analysis<\/span><\/i>, and <\/span>Software Verification<\/span><\/i>. These skills are increasingly essential in a context where code is often generated or assisted by generative AI and must be validated for reliability, safety, and intent alignment\u2014by human beings.<\/span> (*) Note that:<\/strong><\/p>\n (*) Note that:<\/strong><\/p>\n Advanced Databases (Sem. 2) 3D Geometric Modeling & Processing (Sem. 1 ) Students enrolled before the academic year 2025\/2026 may refer to the previous\u00a0 rules.<\/a><\/p>\n","protected":false},"excerpt":{"rendered":" Objectives\/Vision This track is designed to train students in the rigorous design and analysis of complex software systems, with a…<\/p>\nCareer opportunities<\/h2>\n
\n<\/span><\/p>\n\n<\/div>\nStudy plan<\/h2>\n
\n<\/span>The track aims to develop the ability to reason about and understand complex programming patterns. The foundational component is not separated from practice: dedicated courses are designed to experimentally apply the principles taught in the theory-oriented classes. Foundational knowledge in algorithmics remains part of the cultural background of the track, but has been moved to the elective pool to allow for a more focused exploration of formal reasoning and software verification.<\/span><\/p>\nFirst year<\/h3>\n
\n\n
\n \n Semester 1<\/h3>\n<\/td>\n
\n CFU<\/h3>\n<\/td>\n
\n Semester 2<\/h3>\n<\/td>\n
\n CFU<\/h3>\n<\/td>\n<\/tr>\n
\n Models for programming paradigms (*)<\/td>\n 9<\/td>\n Compilation Techniques (*)<\/td>\n 9<\/td>\n<\/tr>\n \n Advanced Programming<\/td>\n 9<\/td>\n Program Analysis<\/td>\n 6<\/td>\n<\/tr>\n \n Group: SW elective 9 cfu<\/a><\/td>\n 9<\/td>\n Group: SW elective 9 cfu<\/a><\/td>\n 9<\/td>\n<\/tr>\n \n <\/td>\n <\/td>\n Group: Free choice<\/td>\n 9<\/td>\n<\/tr>\n \n <\/td>\n 27<\/b><\/td>\n <\/td>\n 33<\/b><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n \n
Second year<\/h3>\n
\n\n
\n \n Semester 3<\/h3>\n<\/td>\n
\n CFU<\/h3>\n<\/td>\n
\n Semester 4<\/h3>\n<\/td>\n
\n CFU<\/h3>\n<\/td>\n<\/tr>\n
\n Software Verification: Principles and Techniques<\/td>\n 9<\/td>\n Software Verification Laboratory<\/td>\n 9<\/td>\n<\/tr>\n \n Group: SW elective 6 cfu<\/a><\/td>\n 6<\/td>\n <\/td>\n <\/td>\n<\/tr>\n \n Group: SW elective 6 cfu<\/a><\/td>\n 6<\/td>\n <\/td>\n <\/td>\n<\/tr>\n \n Group: SW elective 6 cfu<\/a><\/td>\n 6<\/td>\n Thesis<\/td>\n 24<\/td>\n<\/tr>\n \n <\/td>\n 27<\/b><\/td>\n <\/td>\n 33<\/b><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n \n
\n<\/em><\/li>\n<\/ul>\nGroup: SW electives (9 CFU)<\/h3>\n
\nAdvanced Software Engineering (Sem. 1)
\nAlgorithm Engineering (Sem. 1)
\nAlgorithm Design (Sem. 2)
\nComputational Mathematics for Learning and Data Analysis (Sem. 1)
\nData Mining (Sem. 1)
\nMachine Learning (Sem. 1)
\nMobile and Cyber-Physical Systems (Sem. 2)
\nParallel and Distributed Systems: Paradigms and Models (Sem. 2)
\nPeer to Peer Systems and Blockchains (Sem. 2)<\/p>\nGroup: SW electives (6 CFU)<\/h3>\n
\nAccelerated Computing (Sem. 1)
\nAlgorithmic Game Theory (Sem. 2)
\nArtificial Intelligence Fundamentals (Sem. 1)
\nBioinformatics (Sem. 2)
\nBusiness Process Modelling (Sem. 1)
\nCompetitive Programming and Contests (Sem. 1)
\nComputational Models for Complex Systems (Sem. 2)
\nDistributed Algorithms (Sem. 1)
\nFoundations of Computing (Sem. 2) (not offered in a.y. 2025\/26)
\nInformation Retrieval (Sem. 1)
\nIntroduction to Quantum Computing (Sem. 2)
\nScalable Distributed Computing (Sem. 1)
\nSocial and Ethical Issues in Computer Technology (Sem. 2)<\/p>\n