1. Cloud Computing and Future Internet Opportunities João Barros Faculdade de Engenharia da Universidade do Porto National Director of the Carnegie Mellon Portugal Program CloudViews, Porto, May 2010

2. JoãoMota ECE Dual degree PhD Student at IST and Carnegie Mellon. Works on distributed algorithms for sensor networks.

3. Valentina Nisi Hired as a faculty member at University of Madeira. Previously with MIT Media Lab Europe. An artists working on human-computer interaction.

4. RogérioCarapuça, CEO Novabase Trains his staff of Novabase in advanced software engineering in Coimbra and at Carnegie Mellon.

6. Co-PI of the research project “Interfaces”

12. INSTRUMENTS Carnegie Mellon Portugal Program Innovation Research Education Collaborative Projects Professional MS programs Industrial Affiliates Dual Degree PhD Programs PhD Theses

13. 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

14. Industrial Involvement

15. Industrial partners

16. Ongoing Projects

17. 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

18. 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

19. 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

20. 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

21. Projects related to cloud computing

22. 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

23. 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

24. 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

26. DelegationofInstituto de Telecomunicações at FEUP and FCUP

27. Currently, 14 researcherswitha PhD

28. Ana Aguiar

29. Luis Almeida

30. Luis Antunes

31. João Barros

32. William Carson

33. 30+ PhDstudents

34. >2.5M EUR researchfunding

35. Miguel Coimbra

36. Michel Ferreira

37. Daniel Lucani

38. Cristina Olaverri

39. VerónicaOrvalho

40. Rui Prior

41. Miguel Rodrigues

42. Fausto Vieira

45. Secret Key Distribution

46. Sensor Networks

47. Intelligent Transportation Systems

48. Computer Animation

50. 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 ?

52. Byzantineattackscanbecatastrophic.

53. Idea:

54. Use codepropertiesto protectthedata.

55. Solutions:

56. SPOC (securepracticalnetworkcoding) combines cryptoandnetworkcoding

57. Signatureschemesuse algebraicstructureofthecodefor authenticationS T U W a+b X a+b a+b Y Z a b a b

58. Security for Distributed Storage Blocking probability analysis for coded P2P systems.

59. Large Network Analysis NECO simulation software was downloaded more than 1000 times in 2009.

60. Goal: Aggregate critical mass in ICT Innovation Minho Porto Aveiro Covilhã Coimbra Lisboa Algarve Madeira

61. 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