Lead Projects


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.

Research projects typically involve faculty members, researchers, and Ph.D. students. It is desired that they also result in research opportunities for undergraduates, both as a tool for recruiting talent and as a means of promoting the scientific culture of our society.  

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.


Carnegie Mellon Portugal Program Report on First Year Project Reviews 2010 (1ª Call) more 

Carnegie Mellon Portugal Program Project Review 2011 more  

Carnegie Mellon Portugal Program Project Review 2013 more  



The Carnegie Mellon Portugal Program first and second calls for proposals resulted in twenty five new R&D projects:



Portugal Principal Investigator 

Carnegie Mellon University Investigator 

1ª Call of Research Projects (these projects ended in 2012) 

Aeminium - Freeing Programmers from the Shackles of Sequentiality  

Bruno Cabral

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 (FCTUNL)

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

Anind K. Dey

Technology, Management and Policy for the Telecommunications Industry  

Pedro Ferreira

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

2ª Call of Research Projects 

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

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)

Marija Ilic

TRONE – Trustworthy and Resilient Operations in a Network Environment 

António Casimiro (FCUL)

Priya Narasimhan

Projects approved in the Call 2009 in Applications of Mathematics Thematic Areas, in the framework of the Carnegie Mellon Portugal Program and UT Austin-Portugal 

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

The Carnegie Mellon Portugal Program more
The Carnegie Mellon Portugal Program Open Calls more