INSTRUMENTS Carnegie Mellon Portugal Program Innovation Research Education Collaborative Projects Professional MS programs Industrial Affiliates Dual Degree PhD Programs PhD Theses
Public Policy &Entrepre-neurship Dynamics in New ICTs Carnegie Mellon Portugal Program New Generation Networks for High-Quality Trusted Services Applied Mathematics Software Engineering for Large-Scale Dependable Systems Cyber-Physical Systems for Ambient Intelligence Human-Centric Computing THEMATIC AREAS
How can Vehicle-to-Vehicle communication enhance driver and passenger experience, while improving road and vehicle utilization? PIs: M. Ferreira, O. Tonguz IT / FCUP / FEUP / UA Carnegie Mellon University NDRIVE, BRISA
SINAIS Can we use distributed sensor systems and human computer interaction to induce environmentally friendly behavior? PIs: N. Nunes, A. Dey MITI / UMa / IST Carnegie Mellon University ISA
PT - STAR Can speech-to-speech machine translation enable natural language communication between people who do not share the same language? PIs: L.Coheur, A. Black INESC ID / IST / FLUL / UBI Carnegie Mellon University Priberam
Vital Responder How can cyber-physical systems and wearable technologies form a network to assist and reduce the risks of first responders in critical events? PIs: J. P. Cunha, P. Narasimhan IT / IEETA / FCUP / FEUP / UA Carnegie Mellon University Bio Devices
Aeminium Can we write programs for parallel processors in a simple and provably correct way? PIs: P. Marques, J. Aldrich FCTUC, UMa Carnegie Mellon University Novabase
WESP Can we ensure stronger web security and privacy by designing more intuitive user interfaces? PIs: V. Kostakos, N. Sadeh UMa, IST/UTL Carnegie Mellon University PortugalTelecom / Sapo
How can advanced logic be used to ensure that different software modules operate securely and correctly with each other? Pis: L. Caires, F. Pfenning FCTUNL/FCUL Carnegie Mellon University OutSystems
Shannon Communications Lab @ FEUP & IT Porto Faculty / Post-Doctoral Researchers Prof. João Barros (PhD TU München in 2004, Fulbright at Cornell Univ., Sab. MIT, JB) Dr. Fausto Vieira (PhD UPC Barcelona in 7/2008) Dr. Tiago Vinhoza (PhD PUC Rio in 8/2008) Prof. Ana Aguiar (PhD TU Berlin, 2008) Prof. Daniel Lucani(PhD MIT in 4/2010) PhDstudents Rui Costa SergioCrisóstomo Mari Nistor Luísa Lima GerhardMaierbacher Paulo Oliveira João Paulo Vilela RuiMeireles Mate BobanDiogo Ferreira João Patriarca SaurabhShintre João Rodrigues Pedro Santos HanaKhamfroush
Security for Lower Layers End-to-end cryptography Application Application Secure Sockets Layer (SSL) Transport Transport Network Network Virtual private networks (IPSec) Link Link Physical Physical Admission control (e.g.WPA) Physical-layer security ?
Security for Distributed Storage Blocking probability analysis for coded P2P systems.
Large Network Analysis NECO simulation software was downloaded more than 1000 times in 2009.
Goal: Aggregate critical mass in ICT Innovation Minho Porto Aveiro Covilhã Coimbra Lisboa Algarve Madeira
Innovation Networks Research platforms capable of addressing challenging problems that are practically relevant and technically deep. Future Internet Tech. & Serv. Security and CriticalInfrastructures Interactive Media Other Networks… Next Generation Networks Cyber-Physical Systems Software Engineering Human-Centric Computing