Dipartimento di Scienze Ambientali, Informatica e Statistica

The "Dipartimento di Scienze Ambientali, Informatica e Statistica" (Dept. of Environmental Sciences, Informatics and Statistics - DAIS) was instituted on January 2011, with the goal of creating a suitable context to favor the interaction and the synthesis of three key disciplines for the scientific and social advances in the future. This large Dept. includes all the members of the old Dept. of Computer Science of Ca' Foscari, which has been the first mainland Department of our University, as well as the first outpost of what will soon be the University campus in Mestre. The main research areas in Informatics of the new Department can be summarized by the following keywords: - PROGRAMMING LANGUAGES: foundation of languages, security, semantics, type systems, analysis and verification techniques, software engineering - DISTRIBUTED SYSTEMS: computing systems, performance evaluation, distributed and parallel systems, distributed algorithms, mobile agents - INFORMATION SYSTEMS: data and web mining, databases, information retrieval, human-computer interaction, multimedia information systems, web-technologies, cultural heritage - ARTIFICIAL INTELLIGENCE: computer vision, pattern recognition - BIOINFORMATICS: computational system biology - MATHEMATICS: numerical computational methods.

Starting with the Academic Year 2010/2011 the Department of Computer Science at the University of Venice offers a new MSc (Master of Science/Laurea Magistrale) degree in Computer Science taught in English. The MSc course takes two years of full-time study. It covers a variety of specializations and is suitable for students with diverse academic backgrounds, such as a BSc in Computer Science or a Bachelor's degree in a related subject.

The Department of Computer Science of Cà Foscari has started the Ph. D. Program in Computer Science (Dottorato di Ricerca in Informatica) since the academic year 2000-2001. The Ph. D. program in Computer Science lasts three years and it aims at educating professional computer scientists who can work in academic and professional research environments. Specifically, our course aims at preparing the students to apply formal methods and tools for planning and developing a research program, and to acquire knowledge for design and evaluation of information systems and applications.