The research area in Computer Science and Applications supports a broad research agenda around the two main fields of Computer Networks and Architectures, and Software Systems for Global Computing.
The themes covered include, but are not limited to: advanced communication paradigms for future internet, architectures for model driven software development, complex systems, economically principled growing model of the internet, formal methods for software validation and verification, greening of the future internet, infrastructure-free communications and self-organization, model checking, orchestration and coreography languages, probabilistic and stochastic interactive models and logics, process calculi and high level languages for global computing, wireless enabled context awareness.
The research groups integrate the efforts of professors, researchers, and PhD students in both theoretical and applied problems, involving many areas and methodologies with a strong collaborative and interdisciplinary flavor.
Advisory Board
Coordinator
Martin Wirsing - Institut für Informatik, Ludwig-Maximilians-Universität München (Germany)
Members
Michel Cosnard, INRA, Institut National de Recherche en Informatique et en Automatique - Sophia Antipolis (France)
In addition to resident faculty, IMT faculty is extended to external scholars who collaborate with IMT on regular basis through a series of activities, mainly: