The Carnegie Mellon Portugal Program, through Fundação para a Ciência e a Tecnologia (FCT), funds a number of innovative research projects, which are selected by means of open calls and independent evaluation by international experts. Each proposal must include 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 prototyping.
Beyond traditional measures of success, such as scientific and technological significance of results, quality and number of publications, patents, degrees conferred, and number of students, post-doctoral and other young researchers involved, the impact of projects will be measured also by the successful deployment of research prototypes and the adoption of new services by the leading companies and by building successful partnerships between industry and academia.
The Carnegie Mellon Portugal Program first and second calls for proposals resulted in twenty five new R&D projects:
| Projects | Portuguese PI | CMU PI |
|---|---|---|
| Aeminium – Freeing Programmers from the Shackles of Sequentiality | Bruno Cabral (FCTUC) | Jonathan Aldrich |
| DRIVE-IN – Distributed Routing and Infotainment through Vehicular Inter-Networking | Michel Ferreira (FCUP) | Ozan Tonguz |
| Human Capital, Knowledge Based Firms, and the Entrepreneurial Life-Cycle | Rui Baptista (IST/UTL) | Steven Keppler |
| INTERFACES – Certified Interfaces for Integrity and Security in Extensible Web-based Applications | Luís Caires (Técnico) | Frank Pfenning |
| PT-STAR – Speech Translation Advanced Research to and from Portuguese | Luísa Coheur (INESC ID) | Alan Black |
| REAP.PT – Computer Aided Language Learning (CALL) Reading Practice (REAP.PT) | Nuno Mamede (INESC ID) | M. Eskenazi |
| SINAIS – Sustainable Interaction with social Networks, context Awareness and Innovative Services | Nuno Nunes (UMa) | Anind K. Dey |
| Technology, Management and Policy for the Telecommunications Industry | Pedro Ferreira (IST/UL) | Marvin Sirbu |
| Vital Responder – Monitoring Stress among First Responder Professionals | João Paulo Cunha (UA) | Prya Narasimhan |
| WESP: Weaving Together Technology Innovation with Human and Policy Considerations | Nestor Catano (UMa) | Norman Sadeh |
| Projects | Portuguese PI | CMU PI |
|---|---|---|
| Affidavit – Automating the Proof of Quality Attributes for Large Scale Software Architectures | Mário Zenha-Rela (FCTUC) | David Garlan |
| Assuring Dependability in Architecture-based Adaptive Systems | Rogério Neves de Lemos (FCTUC) | David Garlan |
| ATTEST: AlgoriThms and Tools for reasoning about dEpendable SysTems | João Marques Silva (INESC ID) | Edmund M. Clarke |
| Cyber-Physical Systems Technologies for Energy-Optimized Data Centers | Eduardo Tovar (ISEP/IPP) | Raj Rajkumar |
| Innovation and the Global Economy: An Investigation of critical Challenges for Intellectual Property, Strategy and Policy in IT and beyond | Fernando Ribeiro Branco (CLSBE) | Lee Branstetter |
| MAIS-S: Multiagent Intelligent Surveillance System | Francisco Saraiva de Melo (IST/UL) | Manuela Veloso |
| Novel Information Processing Methodologies for Intelligent Sensor Networks | João de Freitas Xavier (IST/UL) | Bruno Sinopoli |
| NeTS: Next Generation Network Operations and Management | Ricardo Morla (FEUP) | Hyong Kim |
| SELF-PVP: Self-Organizing Power Management for Photo-Voltaic Power Plants | Vítor Grade Tavares (FEUP) | Shawn Blanton |
| The Role of ‘User Innovators’ in the Development of Telecom Products and Services | Pedro Mendes Oliveira (CLSBE) | Francisco Veloso |
| Toward Dynamic Monitoring and Decision (DYMONDS)-Based Smart Distribution Systems | Luís Marcelino Ferreira (IST/UL) | Luís Marcelino Ferreira (IST/UL) |
| TRONE – Trustworthy and Resilient Operations in a Network Environment | António Casimiro (FCUL) | Priya Narasimhan |
| Projects | Portuguese PI | CMU PI |
|---|---|---|
| Degenerate Elliptic and Parabolic Equations and its Applications to Front Progragation | Diogo Gomes (IST/UL) | Dejan Slepcev, David Kinderlehrer |
| SANAF: Stochastic Analysis and Numerical Approximations in Mathematical Finance | Cláudia Philippart (IST/UL) | Dmitrry Kramkov |
| Thin Structures, Homogenization and Multi Phase Problems | Luísa Mascarenhas (FCT/UNL) | Giovani Leoni, Irene Fonseca |
