Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Cloud-Setup
Sobre o Projeto
PLATAFORMA DE PREPARAÇÃO DE CONTEÚDOS AUDIOVISUAIS PARA INGEST NA CLOUD
O projeto MOG CLOUD SETUP visa o desenvolvimento de ferramentas para pós-produção de conteúdos audiovisuais de alta qualidade para a indústria televisiva que permitam automatizar operações de inserção e/ou substituição de conteúdos na programação e que possam operar quer no interior de uma estação radio-difusora quer num ambiente cloud-based. Este projeto é de extrema importância para a indústria televisiva e dos conteúdos audiovisuais em geral, pois vai permitir por um lado automatizar processos que são hoje em dia extremamente dispendiosos e dessa forma facilitar e agilizar a formatação de conteúdos que devem ser exibidos em múltiplas plataformas de distribuição.
Acrónimo
Cloud-Setup
Responsável
Pedro Miguel Machado Soares Carvalho
Estado
Encerrado
Início
January 1, 2016
Fim
January 31, 2019
Data efectiva de fim
January 31, 2019
Orçamento Global
992 599,00 €
Financiamento
206 170,52 €
Equipa
Líderes de Equipa
Investigador Sénior
Sou natural do distrito de porto. Obtive a Licenciatura em Eng. Eletrotécnica e de Computadores em 2001, o grau de Mestre em Redes e Serviços de Comunicação em 2004 e o Doutoramento em Eng. Eletrotécnica e de Computadores em 2012, todos na Faculdade de Engenharia da Universidade do Porto (FEUP). Sou colaborador no INESC TEC desde 2001 e tenho a função de Investigador Sénior no Centro de Telecomunicações e Multimédia. Sou também Professor Adjunto Convidado no Departamento de Engenharia Eletrotécnica do Instituto Superior de Engenharia do Porto (ISEP). Os meus atuais interesses de investigação incluem procesamento de imagem e vídeo, sistemas multimédia e visão computacional.
Sou Professor Associado com Agregação no Departamento de Ciência de Computadores da Faculdade de Ciências da Universidade do Porto (DCC-FCUP) e investigador do HASLab/INESC TEC. Os meus interesses de investigação centram-se na Criptografia e Segurança da Informação e na sua intersecção com a Verificação de Programas.
Sou Doutorado em Electrical and Electronic Engineering pela Newcastle University, e licenciado em Engenharia Electrotécnica e de Computadores pela FEUP. Fui investigador visitante na University of Bristol, IT Porto e na École Normale Supérieure. Entre 2023 e 2025 fui investigador convidado no Max Planck Institute for Security and Privacy.
Trabalho no desenvolvimento de software criptográfico confiável há 20 anos, com o objectivo de estabelecer uma ligação entre a segurança teórica e a segurança de aplicações reais. Interesso-me particularmente pela segurança demonstrável e a sua ligação à verificação formal de provas de segurança e de implementações de software criptográfico.
Para informação sobre a minha investigação, projectos e publicações, por favor consultar a minha página no HASLab.
Para informação sobre as minhas actividades de ensino, por favor consultar a minha página institucional na FCUP.
Membros da equipa
Francisco Miguel Carvalho Barros da Cruz
Investigador
Ana Luísa Parreira Nunes Alonso
Investigador Auxiliar
Américo José Rodrigues Pereira
Rogério António da Costa Pontes
Investigador
Maria Teresa Magalhães da Silva Pinto de Andrade
Investigador Sénior
Paula Maria Marques de Moura Gomes Viana
Responsável de Área
Pedro Miguel Machado Soares Carvalho
Investigador Sénior
Centros Associados
Laboratório de Software Confiável
No Laboratório de Software Confiável (HASLab), melhorando a prática através da teoria, criamos e implementamos software que vai além da funcionalidade: garantimos que é correto, resiliente e seguro contra falhas e ataques. A nossa equipa de investigadores, cientistas e engenheiros tem competências em engenharia de software, onde desenvolvemos métodos e ferramentas para conceber e integrar software robusto; sistemas distribuídos, onde exploramos a distribuição e replicação para garantir escalabilidade e confiabilidade; e segurança da informação, onde considerando também os desafios da cibersegurança, fortalecemos os sistemas com protocolos criptográficos avançados e seguros, minimizando vulnerabilidades. Com uma abordagem multidisciplinar e sustentada por princípios teóricos sólidos, criamos soluções inovadoras para software crítico, infraestruturas cloud seguras e gestão de big data com privacidade, impulsionando avanços científicos, inovação e consultoria de excelência. Além disso, complementamos a nossa expertise em áreas como interação humano-computador, linguagens de programação, matemática de computação e computação quântica - porque acreditamos que o futuro do software confiável se constrói com conhecimento e inovação.
Telecomunicações e Multimédia
O Centro de Telecomunicações e Multimédia (CTM) do INESC TEC integra cerca de 200 colaboradores, incluindo pelo menos uma centena de investigadores integrados com atividade científica nos domínios das comunicações, inteligência artificial e ciências da computação e engenharia. A atividade do centro organiza-se nas seguintes linhas de Investigação e Desenvolvimento (I&D): <ul> <li>Comunicações e Eletrónica <ul> <li>Tecnologias de rádio frequência</li> <li>Optoeletrónica</li> <li>Microeletrónica</li> <li>Redes de comunicações sem fios</li> </ul> </li> <li>Perceção por computador <ul> <li>Visão por computador aplicada à Imagem médica</li> <li>Visão por computador aplicada aos media digitais</li> <li>Áudio por computador aplicado à música</li> </ul> </li> </ul> Com equipas multidisciplinares que integram dezenas de doutoramentos, o centro aposta em projetos de investigação europeus e nacionais e em projetos de consultoria com a indústria.
