Company name: University of Aquila

Website: http://www.univaq.it/

Projects: CHOReOS

UDA is the University of Aquila with more than 20.000 students and 700 researchers. The UDA team is represented by the Computer Science Dep. that has developed a solid research experience in the specification and validation of distributed software systems, in applied Logic and Artificial Intelligence, in the field of algorithms and data structure management and in the optimization field  for several application domains. In the Software Engineering area, the main focus of the research  activities are Software Architectures (SAs), Component Based Systems (CBS), Security and Verification issues, Ubiquitous Computing, and Software System Synthesis. It collaborates with several companies and participates in several national and international funded projects.