DEI Tutorials | “An Overview of OpenMP, MPI and CUDA” pelo Prof. Fahed Jubair

“An Overview of OpenMP, MPI and CUDA” será conduzido pelo Prof. Fahed Jubair, no dia 12 de maio, entre as 14:00 e as 17:00, na sala B006.

O tutorial irá descrever uma visão geral de três modelos de programação populares: OpenMP, MPI e CUDA. Irá começar com a descrição e comparação dos atuais tipos de processadores paralelos. Seguidamente descreverá como o OpenMP é utilizado para programar arquiteturas de memória partilhada, como o MPI é utilizado para programar arquiteturas de memória distribuída e por fim descreverá como o CUDA é utilizado para a programação de GPUs Nvidia. O tutorial incluirá exemplos práticos de todos os modelos de programação.

Short-Bio:

Fahed Jubair licenciou-se na Universidade Purdue em 2014 com um Doutoramento em Engenharia Electrotécnica e Informática. Recebeu o seu B.Sc. pela Universidade da Jordânia em 2007. Atualmente é Professor Auxiliar de Engenharia Informática na Universidade da Jordânia. Os seus principais interesses de investigação incluem a otimização de compiladores, computação paralela, algoritmos heurísticos, e aprendizagem de máquinas.

CreativityTalks | Prof. Damián Keller vai trazer-nos “Creativity in post-2020 music practices”

Dada a atual concentração de recursos tecnológicos por parte de alguns conglomerados financeiros e as tentativas em curso para eliminar a partilha livre da Internet, a música proporciona mais uma vez um palco para experiências sociais que podem ter efeitos duradouros. Damián Keller desenvolve a ideia de que devemos aplicar estratégias diferentes à produção musical pós-2020, em relação às que adotámos durante o século XX. Concentra-se em quatro tendências emergentes e complementares, numa tentativa de identificar as suas especificidades criativas: arte telemática, performance musical em rede, tecnologias de notação e representação musical, e música ubíqua. Reconhece o carácter transitório de algumas destas áreas e sublinha as dificuldades de definir práticas fortemente ligadas às inovações tecnológicas. Em vez de reivindicar a precedência, a propriedade intelectual ou a hegemonia territorial de qualquer destes termos, propõe um mapa conceptual que realça a sua aplicabilidade a vários alvos criativos.

“Creativity in post-2020 music practices” ser-nos-á apresentado pelo Prof. Damián Keller, no dia 19 de maio, às 18:00, online em: https://youtu.be/1mfRD8JncvY

A sessão será moderada pelo Prof. Gilberto Bernardes, Professor Auxiliar do DEI e Coordenador da área de Música Interativa e Design de Som do Mestrado em Multimédia.

Short-Bio:

Damián Keller é Professor Associado de Tecnologia Musical na Universidade Federal do Acre e na Universidade Federal da Paraíba no Brasil. É cofundador da rede internacional de investigação Ubiquitous Music Group e membro fundador do Centro de Investigação Musical da Amazónia (NAP). Publicou mais de duzentos artigos sobre música ubíqua e prática criativa ecologicamente fundamentada em revistas sobre tecnologia da informação, design, educação, filosofia e artes. O seu último livro coeditado é Ubiquitous Music Ecologies (Routledge). http://ccrma.stanford.edu/~dkeller

Workshop de Realidade Virtual

O NCGM – Núcleo de Computação Gráfica e Multimédia, vai promover esta quarta feira, dia 11/05, na sala B327, às 16:00, um Workshop de Realidade Virtual, com Teresa Matos como Oradora Convidada.

A entrada é livre mas é necessária inscrição aqui.

Se alguma vez tiveste interesse em explorar mais esta tecnologia, este workshop é para ti!

Qualquer questão poderá ser endereçada ao núcleo: necgm@fe.up.pt

DEI Talks | “Task scheduling algorithms for fog architectures” pelo Prof. Celestino Lopes de Barros

Celestino Lopes de Barros é Professor na Faculdade de Ciências e Tecnologia (FCT) da Universidade de Cabo Verde (Uni-CV) desde 2005. Licenciado em Informática em 2006 pelo Instituto Superior de Educação, obteve o grau de Mestre em Engenharia Electrónica e Telecomunicações pela Universidade de Aveiro em 2010. Possui o certificado de Estudos Avançados e é Doutor em Ciência e Tecnologia pela UaB e UTAD desde 2021. Tem como áreas de interesse a Cloud computing e os seus paradigmas. Autor de vários artigos focando ‘Job Scheduling in Fog Paradigm’.

Junte-se a nós no dia 11 de maio, às 14:30, na sala I-105 da FEUP, para a apresentação de “Task scheduling algorithms for fog architectures”.

Abstract:

According to the author’s knowledge task scheduling in fog paradigm is highly complex and in the literature there are still few studies on it. In the cloud architecture, it is widely studied and in many researches, it is approached from the perspective of service providers. Trying to bring innovative contributions in these areas, we propose a solution to the context-aware task-scheduling problem for fog paradigm. In our proposal, different context parameters are normalized through Min Max normalization, requisition priorities are defined through the application of the Multiple Linear Regression (MLR) technique and scheduling is performed using Multi-Objective Non-Linear Programming optimization (MONLIP) technique.

7 das 50 Bolsas Huawei foram atribuídas a estudantes da L.EIC e do M.EIC

No seguimento do compromisso assumido com o setor da educação em Portugal, através de um memorando de entendimento assinado no decorrer da edição de 2021 do Web Summit, no stand da StartUp Portugal, entre a Associação DNS.PT (.PT) e a Huawei Portugal, a Huawei lançou um Programa de Bolsas dirigido a estudantes universitários das áreas da Engenharia e da Ciência, tendo recentemente reconhecido 50 estudantes universitários pelo seu mérito académico e pessoal com a atribuição de uma bolsa no valor de 5000 euros, num investimento de 250 000 euros.

Para a Forbes Portugal, Diogo Madeira da Silva, Head of Public Affairs & Communications da Huawei Portugal afirmou que este é um “investimento significativo na formação dos estudantes portugueses e um contributo indelével para um Portugal mais capacitado, mais digital e mais competitivo”, daí que, refere o responsável, o facto de esta iniciativa estar a ser promovida em conjunto com o .PT e com o apoio do INCoDe.2030, do Portugal Digital, da Comissão para a Cidadania e a Igualdade e da Secretaria de Estado e da Comissão para a Cidadania e Igualdade, “garante-nos o alinhamento com a agenda de capacitação, transição digital e igualdade que o País persegue. E esperamos que mais parceiros se possam associar a esta iniciativa”.

Foram recebidas cerca de 3000 candidaturas vindas de jovens universitários de todo o país, entre as quais as dos 7 estudantes do DEI recentemente contemplados com uma destas bolsas que farão toda a diferença nos seus percursos académicos; Sofia Pinto, Tiago Oliveira, Miguel Silva e Diogo Neves são estudantes da Licenciatura em Engenharia Informática e Computação, curso conjunto FEUP/FCUP e Rita Peixoto, Mário Mesquita e Miguel Gomes, do Mestrado em Engenharia Informática e Computação da FEUP.

À conversa com a Sofia Pinto, confessa-nos que quando viu o e-mail sobre o programa de bolsas, por parte do secretariado da L.EIC, pensou “acho que tenho o perfil adequado e tentar não custa” e foi assim que se “atreveu” a participar. E não podia ter sido melhor a sua decisão que lhe permitirá poupar para investir futuramente num MBA e viajar, acumulando as vivências proporcionadas pelo que mais gosta de fazer, viagens!

Tiago Oliveira, Fundador e Dirigente Associativo da Easy Future, pretende investir parte do valor ganho nesta associação e acredita que este projeto foi um dos aspetos mais valorizados no seu CV tendo contribuído decisivamente para se encontrar entre os 50 felizardos. Em relação ao futuro Tiago diz-nos que pretende criar ou trabalhar numa empresa que aposte fortemente no desenvolvimento tecnológico das empresas, através de meios low cost de desenvolvimento de sites e apps e apoio na área da cibersegurança.

Miguel Silva, estudante do 2º ano da L.EIC, acredita que o sucesso da candidatura se deveu à sua paixão pela tecnologia, aplicada aos projetos pessoais que desenvolve nos tempos livres e também ao trabalho realizado nos diferentes núcleos de informática onde está inserido. Ao mesmo tempo Miguel sonha já com o programa ERASMUS, e conta com a bolsa para os custos adicionais de uma temporada no estrangeiro. “Tranquiliza-me saber que tenho margem de manobra para explorar diferentes interesses e investir na minha educação daqui para a frente”.

Também o Diogo Neves vê o ERASMUS como uma das suas ambições académicas pela curiosidade de sempre em contactar com a realidade digital de outros países. Diogo acredita que foram as suas inúmeras atividades extra curriculares, como os projetos musicais, as iniciativas sociais, o envolvimento em associações académicas e os vários cursos feitos fora da área da informática, a chave para conseguir esta bolsa.

Rita Peixoto considera que foi a experiência profissional até ao momento, o seu estágio de verão, o percurso na JuniFEUP, nomeadamente agora como Diretora do Departamento de Tecnologia, e também a sua proatividade, espelhada nas várias atividades de voluntariado, o programa Erasmus+ de parceria com Escolas Secundárias, a monitoria académica e a constante presença do desporto na sua vida, os aspetos mais valorizados pela Huawei.

“O meu sonho é o de criar a minha própria empresa, e desenvolver um produto inovador, que permita ajudar o maior número de pessoas possível. Durante todo o meu percurso académico procuro desenvolver e concretizar as mais diferentes ideias de projetos que vou tendo, e espero que um dia uma delas cresça ao ponto de se tornar no meu emprego e principal foco.” – é assim que Miguel Gomes vê o seu futuro. Quanto ao presente, considera que foram a sua experiência profissional no INESCTEC e Cloudware, as suas funções como monitor do consultório digital de matemática da faculdade, a sua envolvência num núcleo estudantil e o projeto desenvolvido na unidade curricular IDEIA, determinantes para o sucesso da sua candidatura.

Mário Mesquita, atualmente em Hong Kong num programa de intercâmbio, acredita que a sua veia empreendedora, aplicada a atividades em núcleos académicos, a participação em competições, a sua experiência profissional obtida em estágios e part-times, e o website que criou, foram valorizados e determinantes para conseguir esta bolsa. Também no futuro se vê a ser empreendedor e não descarta a possibilidade de criar a sua start-up mas neste momento deseja explorar o mundo, contudo o plano será sempre voltar e trazer o conhecimento adquirido de volta para Portugal.

Ao longo dos seus 17 anos de atividade em Portugal, a Huawei tem vindo a aprofundar uma forte ligação aos temas da Educação e do talento, com este programa a juntar-se a outras iniciativas e investimentos na área, como o Smart BusSeeds for the Future*ICT AcademySummer School for Female Leadership in Digital Age, ou, mais recentemente, a inauguração do 5GAIner, laboratório de 5G e Inteligência Artificial.

*No âmbito da parceria estabelecida entre a FEUP e a Huawei, que lançou em 2020 o programa ICT Academy com o objetivo de disponibilizar uma solução alargada de formação e que abrange o desenvolvimento de conteúdos em áreas determinantes para os desafios atuais e as exigências do futuro, como Big Data, Cloud Computing, Inteligência Artificial, Internet das Coisas ou 5G, os estudantes da FEUP têm ao seu dispor através desta plataforma formação gratuita para que passo a passo comecem a investir no seu futuro.

DEI Talks | Fluent API: A software engineering technique with type theoretical implications por Yossi Gil

Joseph (Yossi) Gil é Professor Associado da Faculty of Computer Science of the Technion, Israel Institute of Technology. As suas publicações foram em diversas áreas incluindo sistemas distribuídos, processamento de imagem, algoritmos, PRAMs e computação paralela, bases de dados, conceitos de programação orientada para objetos, algoritmos numéricos,… Os seus B.Sc. (in physics summa cum laude), M.Sc. (computer science, summa cum laude) e Ph.D. foram concedidos pela Hebrew University in Jerusalem. A informática teórica, especialmente os lower bounds e os algoritmos, foram o seu berço académico contudo tem também grande interesse pela programação em várias linguagens. O seu tópico de investigação atual é em sistemas e aplicações de machine learning para engenharia de software e algoritmos numéricos.

Junte-se a nós no dia 27 de Abril, às 14:30, na sala B016 da FEUP, para a apresentação de “Fluent API: A software engineering technique with type theoretical implications”.

Abstract:

 A chain of method calls in an OO language, such as a.b().c(d).e(f,g).h().i()… is what the industry calls fluent API. In such a chain, the return value of all but the last invocation, is the receiver of the next invocation. The technique is advertised and used as a powerful software engineering tool. The technique is also used to embed domain specific languages (DSLs), such as SQL, in a host general programming language, such as Java. In this talk, I will present the technique, and the fundamental theoretical questions: How should one design the classes and methods so that fluent API works the way it is supposed to? What is required from the type system of the host programming language to admit certain chains, and forbid others?

The presentation will survey a series of publications showing deep correspondence between type systems and the theory of automata: finite state automata, pushdown automata, etc.

A Mostra da U.Porto está de regresso e de 21 a 24 de abril pode ser visitada no Pavilhão Multiusos de Gondomar

A 19.ª edição da Mostra da Universidade do Porto decorre até dia 24 de abril no Pavilhão Multiusos de Gondomar. Com entrada e transporte gratuitos, espera-se uma grande afluência de visitantes que serão recebidos por estudantes, docentes e técnicos das várias faculdades da U.Porto e Centros de Investigação.

Através das dezenas de stands, os mais curiosos poderão experimentar inúmeras atividades interativas e conhecer assim a oferta formativa dos cursos de licenciatura e mestrado.

Os estudantes que pensam candidatar-se ao Ensino Superior e suas famílias terão a oportunidade de assistir a várias sessões de esclarecimento e no domingo haverá sessões especiais sobre a transição do Ensino Secundário para o Ensino Superior e sobre os apoios sociais a que poderão candidatar-se.

Este ano a Mostra traz-nos uma novidade, sessões LIVE que podem ser assistidas aqui.

No stand de engenharia informática os visitantes encontrarão estudantes motivados e disponíveis para responder a todas as dúvidas relacionadas com a Licenciatura e Mestrado em Engenharia Informática e Computação e serão desafiados a experimentar alguns Jogos Sérios desenvolvidos no âmbito de unidades curriculares destes cursos:

Quantik é um jogo de tabuleiro estratégico. A lógica do jogo é desenvolvida com o software SICStus Prolog tendo sido posteriormente adicionada uma interface gráfica 3D. Existem diferentes cenas, luzes e câmaras que tornam o ambiente mais rico. Existem 3 modos de jogo diferentes que podem ser escolhidos: player vs player, player vs bot e bot vs bot. É ainda possível anular jogadas e ver o filme do jogo quando este acaba.

Cromoparty é um jogo desenvolido em C e Assembly. É baseado no famoso conceito de jogo “Dance Dance Revolution”, mas com algumas referências didáticas de biologia, nomeadamente ao processo de mitose. O seu principal objetivo foi implementar/lidar com operações de I/O no MinixOS de diversos dispositivos como teclado, rato, placa gráfica, etc.

O Nudge é um jogo estratégico de tabuleiro para duas pessoas. A lógica do jogo é desenvolvida com o software SICStus Prolog tendo sido posteriormente adicionada uma interface gráfica 3D. Existem diferentes cenas, luzes e câmaras que tornam o ambiente mais rico. Existem 3 modos de jogo diferentes que podem ser escolhidos: player vs player, player vs AI e AI vs AI. É ainda possível anular jogadas e ver a repetição do jogo quando este acaba.

A Grace é robô de telepresença que serviria de anfitrião na conferência OpenCx na FEUP a realizar em 2020, mas que não se chegou a realizar devido à pandemia de Covid 19. O robô pode ser controlado por um Raspberry Pi a correr sobre Robot Operative System (ROS). Para controlar o robô remotamente, foi desenvolvida a GraceVision, uma aplicação em Flutter para iOS e Android que também permite ter acesso à câmara instalada.

Toda a informação sobre a Mostra e respetiva programação pode ser consultada aqui.

Novos Doutores homenageados na Conferement Ceremony 2022

O Auditório da FEUP receberá no dia 8 de abril, às 17:00, mais uma Conferement Ceremony, que atribuirá a mais honrosa distinção a quem completou o doutoramento e defendeu a sua tese em 2020 e 2021.

Na lista de homenageados encontramos muitos estudantes que decidiram fazer os seus Doutoramentos em Cursos do DEI. A eles os nossos votos de maiores felicidades, profissionais e pessoais.

 

Programa Doutoral em Engenharia Informática

Bruno Miguel Carvalhido Lima

 

Programa Doutoral em Media Digitais

António Alberto Castro Baía Reis

Daniel dos Santos Catalão

Eduardo José Botelho Batista Morais de Sousa

João Miguel Calisto Marçal

Luciano José Santos Reis Moreira

Roberto Ivo Fernandes Vaz (Cum Laude)

 

Doutoramento em Informática (Curso conjunto com a FCUP, UA e UM)

André Filipe Faria dos Santos

Diogo José Domingues Regateiro

Francisco Nuno Teixeira Neves

João Miguel Maia Soares de Resende

Joaquim Magalhães Esteves da Silva

Jorge Miguel Barros da Silva

José Luís da Silva Devezas (Cum Laude)

Liu Chong

Luís Miguel Tomé Nóbrega

Mariana Rafaela Figueiredo Ferreira de Oliveira

Patrícia Raquel Vieira Sousa

Ricardo Jorge Terroso de Araújo

Ricardo Pereira de Magalhães Cruz

Rogério António da Costa Pontes

Rui Jorge Pereira Gonçalves

Sílvia da Conceição Neto Bessa

DEI Talks | Formal Verification of Distributed Systems por Julien Brunel e David Chemouil

Julien Brunel e David Chemouil são investigadores seniores na ONERA, em Toulouse, especializados em formal specification and verification. Juntamente com Nuno Macedo e Alcino Cunha (INESC TEC) conceberam a 6ª versão (até há pouco tempo designada Electrum) da linguagem e ferramenta Alloy (originalmente proposta pelo MIT). Nos últimos anos, Julien Brunel e David Chemouil têm vindo a estudar também a verificação de algoritmos distribuídos.

Segundo os investigadores “a recent highlight is the first mechanical proof of correctness of the distributed maintenance algorithm of the Chord peer-to-peer protocol, as well as formal techniques for the complete, semi-automatic verification of infinite-state systems, such as distributed algorithms”.

Junte-se a nós no dia 8 de Abril, às 14:30, na sala I-105 da FEUP, para a apresentação deste trabalho

 Abstract:

The verification of distributed systems is challenging because these systems combine a rich structure, a high number of elements and a non-trivial temporal evolution. A trade-off between automation and completeness of the verification has to be made. In particular, one can use theorem provers, which offer complete confidence but tend to require considerable expertise and effort. Another option is to use model checkers, which offer complete automation, but cannot handle complex data structures and configurations.

In this talk, they will present recent work on verification techniques for distributed systems that are automatic and “as complete as possible”, or complete and “as automatic as possible”. They will illustrate their work with the analysis of Chord, a scalable distributed hash table.

INFORMATICS.OnBoard, o programa de *Mentoria Interpares de Engenharia Informática, promoveu no passado dia 2 de abril mais um momento de convívio entre estudantes do 1º ano da L.EIC e seus mentores.

O grupo saiu à descoberta do “Pequeno Tibete Português” através do Trilho das Brandas de Sistelo (Caminhada pelo PR14). Neste cenário de verdadeira beleza rural, onde os fabulosos socalcos se destacam na paisagem, estudantes e professores puderem conviver informalmente, em dinâmicas de colaboração que promovem a entreajuda, a integração, a amizade e o bem estar.

Esta foi a segunda atividade da edição de 2021/2022. Todas as outras podem ser vistas em Informatics On Board

*Mentoria Interpares

A Faculdade de Engenharia da Universidade do Porto tem em funcionamento um programa de MENTORIA INTERPARES, destinado aos estudantes que ingressam pela 1ª vez nesta instituição de Ensino Superior (mentorados), tanto nacionais como internacionais, com o objetivo de os apoiar nesta nova fase do seu percurso académico. A dinamização deste programa de integração social e académica é realizada por estudantes (mentores) que já frequentam os diferentes cursos em anos mais avançados, e coordenado por uma equipa de docentes, sendo adaptado a cada curso de acordo com as suas caraterísticas. Este programa é totalmente voluntário tanto para mentores como para mentorados. Esta iniciativa está atualmente integrada no Programa Mentoria U. Porto.