Categoria: Notícias
-
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),…
-
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…
-
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…
-
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…
-
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.…
-
DEI Talks | JUMPING FINITE AUTOMATA por Prof. Alexander Meduna
Prof. Alexander Meduna (nascido em 1957 em Olomouc, República Checa) é um cientista informático teórico e especialista em desenho de compiladores, linguagens formais e autómatos. É professor de Informática na Brno University of Technology. Anteriormente, ensinou informática teórica em várias universidades europeias e americanas, incluindo a Universidade do Missouri, onde passou uma década a ensinar…
-
Provas de Doutoramento em Engenharia Informática: ”Increasing the Dependability of Internet-of-Things Systems in the context of End-User Development Environments”
Candidato: João Pedro Matos Teixeira Dias Data, Hora e Local 1 de abril, às 09:00, por videoconferência com transmissão em direto em: https://www.youtube.com/channel/UCvsg2ymeaHLRLbsGt67JmKw Presidente do Júri Doutor Rui Filipe Lima Maranhão de Abreu, Professor Catedrático da Faculdade de Engenharia da Universidade do Porto Vogais Doutor Dariusz Mrozek, Professor Associado do Department of Applied Informatics da Silesian University…
-
Palestra | “Análise Musical Interactiva usando a DFT e Distribuições de Classes de Altura a partir de ficheiros MIDI” por Fabian C. Moss
Fabien C. Moss é Investigador em Cultural Analytics na Universidade de Amesterdão (UvA). Trabalhando com grandes conjuntos de dados simbólicos de partituras musicais e anotações harmónicas, é principalmente interessado em Análise Musical Computacional, Teoria Musical, Cognição Musical, e a sua relação mútua. A sua investigação é intrinsecamente interdisciplinar e tem como objetivo fazer a ponte entre as humanidades…
-
Concursos documentais para recrutamento de 2 Professores Auxiliares para a área disciplinar de Engenharia Informática
Candidaturas até ao dia 28 de abril de 2022 Edital 279/2022 Professor Doutor José Manuel Pereira Dias de Castro Lopes, Professor Catedrático da Faculdade de Medicina da Universidade do Porto, Vice-Reitor da mesma Universidade: Faço saber que, por meu despacho de 25 de fevereiro de 2022, no uso de competência delegada por Despacho n.º 8378/2021,…
-
Provas de Doutoramento em Media Digitais: ”Instagram Photography: Toward the profiling of photography sharing modes of practice”
Candidato: Cláudio António Moreira Alves do Carmo Reis Data, Hora e Local 29 de março, às 10h00, na Sala de Atos da Faculdade de Engenharia e por videoconferência. Streaming: https://www.youtube.com/channel/UCvsg2ymeaHLRLbsGt67JmKw Presidente do Júri Doutor António Fernando Vasconcelos Cunha Castro Coelho, Professor Associado c/ Agregação da FEUP Vogais Doutora Luísa Maria Lopes Ribas, Professora Auxiliar da Faculdade…