Second cycle degree in

Informatica

Class: LM-18 - Computer science

Class LM-18 - Computer science
Duration 2 years
Branch Padova
Language Italian
Programme coordinator PAOLO BALDAN
Reference structures Department of mathematics, School of science

A course that expands the basics of computer science learned during the three-year study course , giving you in-depth knowledge, especially in the most innovative areas of the subject, and a high professional skills needed in ever-growing and challenging sectors of the job market and research. You will follow lessons related to: computability and advanced algorithms, programming paradigms, formal methods of specification and analysis, advanced logic, cryptography and security, concurrent, distributed, real-time, hypermedia, wireless systems, advanced web technologies, open technologies. source, artificial intelligence, machine learning, combinatorial optimization, data mining, bioinformatics. You can dedicate yourself, with managerial and supervisory tasks, to development and research projects in companies, both public and private, with high technological potential.

  Teaching list

I Year ECONOMICS OF INNOVATION [CFU 6] ENGLISH LANGUAGE B2 (PRODUCTIVE SKILLS) [CFU 3] ADVANCED ALGORITHMS [CFU 6] COMPUTABILITY [CFU 6] STRUCTURAL BIOINFORMATICS [CFU 6] BIOINFORMATICS [CFU 6] GAME THEORY [CFU 6] TYPE THEORY [CFU 6] CRYPTOGRAPHY [CFU 6] MATHEMATICAL MODELS AND NUMERICAL METHODS FOR BIG DATA [CFU 6] METHODS AND MODELS FOR COMBINATORIAL OPTIMIZATION [CFU 6] DATA MINING [CFU 6] START-UP IN ICT [CFU 6] SOFTWARE VERIFICATION [CFU 6] WEB INFORMATION MANAGEMENT [CFU 6] WIRELESS NETWORKS FOR MOBILE APPLICATIONS [CFU 6] MACHINE LEARNING [CFU 6] COMPUTER AND NETWORK SECURITY [CFU 6] DEEP LEARNING [CFU 6] VISION AND COGNITIVE SERVICES [CFU 6] KNOWLEDGE REPRESENTATION AND LEARNING [CFU 6] MOBILE AND IOT SECURITY [CFU 6] ADVANCED TOPICS IN COMPUTER SCIENCE [CFU 6] IT SERVICE MANAGEMENT [CFU 6] ADVANCED TOPICS IN PROGRAMMING LANGUAGES [CFU 6] BIG DATA COMPUTING [CFU 6] FUNCTIONAL LANGUAGES [CFU 6] ARTIFICIAL INTELLIGENCE [CFU 6] LANGUAGES FOR GLOBAL COMPUTING [CFU 6] FORMAL METHODS FOR CYBER-PHYSICAL SYSTEMS [CFU 6] MOBILE PROGRAMMING AND MULTIMEDIA [CFU 6] PROCESS MINING [CFU 6] RUNTIMES FOR CONCURRENCY AND DISTRIBUTION [CFU 6] REAL-TIME KERNELS AND SYSTEMS [CFU 6] II Year OTHER KNOWLEDGE USEFUL FOR THE INTEGRATION INTO THE LABOUR MARKET [CFU 3] EDUCATIONAL INTERNSHIP [CFU 3]