FCT Funds 12 New Carnegie Mellon Portugal Research Projects
In September 2010, the Portuguese Fundação para a Ciência e a Tecnologia published the results of the Second Call for Research and Development Projects, under the Carnegie Mellon Portugal Program.
The independent evaluation panel analyzed 22 projects and selected 12 to be funded by this partnership. The evaluation panel included Professor Sir John O’Reilly (chair), Professor Luigia Carlucci Aiello, Professor Tariq Durrani and Professor Joel Moses. These projects will be carried out during the next three years.
The research projects funded under this second call converge on the strategic areas of the Program, including Software Engineering for Large Scale Systems, Cyber-physical Systems for Environmental Intelligence, New Generation Networks and Resilient Operations in a Network Environment, and other areas related to Information and Communication Technologies (ICT).
At this time, the Carnegie Mellon Portugal Program is supporting the development of 22 research projects. Each project includes at least two research institutions in Portugal, one research group at Carnegie Mellon and one Portuguese company. A financial commitment from the industrial partner is expected, which can take many forms from direct funding to man power or prototy-ping. The impact of these projects will be measured by the successful deployment of research prototypes and the adoption of new services by companies and by building successful partnerships between industry and academia.
Main Areas |
Project Title |
Portugal Principal Investigators |
Carnegie Mellon University Principal Investigators |
Software Engineering for Large Scale Robust |
Assuring Dependability in Architecture-based Adaptive Systems |
Rogério Neves de Lemos (FCT/UC) |
David Garlan (CMU) |
| ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems |
João Paulo Silva (INESC ID / INESC / IST/UTL) |
Edmund M. Clarke (CMU) | |
| Affidavit – Automating the Proof of Quality Attributes for Large Scale Software Architectures |
Mário Zenha Rela (FCTUC) |
David Garlan (CMU) |
|
Cyber-physical Systems for Environmental Intelligence |
Novel information processing methodologies for intelligent sensor networks |
João de Freitas Xavier (IST/UTL) |
Bruno Sinopoli (CMU) |
| Cyber-Physical Systems Technologies for Energy-Optimized Data Centers |
Eduardo de Médicis Tovar (ISEP/IPP) |
Raj Rajkumar (CMU) |
|
| MAIS-S: Multiagent Intelligent Surveillance System |
Francisco Saraiva de Melo (INESC ID / INESC / IST/UTL) |
Manuela M. Veloso (CMU) |
|
| SELF-PVP: Self-organizing power management for photo-voltaic power plants |
Vítor Grade Tavares (INESC Porto / FEUP) |
Shawn Blanton (CMU) |
|
| Toward Dynamic Monitoring and Decision (DYMONDS)–Based Smart Distribution Systems |
Luis Marcelino Ferreira (IST/UTL) |
Marija Ilic (CMU) |
|
New Generation Networks and Resi-lient Operations in a Network Environment |
NeTS: Next Generation Network Operations and Management |
Ricardo Santos Morla (INESC Porto / FEUP) |
Hyong Kim (CMU) |
| TRONE – Trustworthy and Resilient Operations in a Network Environment |
Paulo Veríssimo (FFC / FC/UL) |
Priya Narasimhan (CMU) |
|
Other Areas Related to ICT |
The Role of ‘User Innovators’ in the Development of Telecom Products and Services |
Pedro Mendes Oliveira (UCP) |
Francisco Veloso (CMU) |
| Innovation and the Global Economy: An investigation of critical challenges for Intellectual Property, Strategy and Policy in IT and beyond |
Fernando Ribeiro Branco (UCP) |
Lee Branstetter (CMU) |
More information available at https://cmuportugal.org/tiercontent.aspx?id=130.
