Palestra: How much is in a type? Calculating functional programs from their types using squares
por José Nuno Oliveira, HASLab-DI-UMinho
palestra Talks@DCC
por José Nuno Oliveira, HASLab-DI-UMinho
palestra Talks@DCC
Na fotografia, 4 equipas, 2 coaches e 1 voluntário da U.Porto.
concurso programação
Distinção reconhece a contribuição de Miriam Santos para modelos de IA mais robustos e confiáveis, aplicáveis a áreas como a saúde e a justiça.
investigação IA distinção internacional
Departamento de Ciência de Computadores da FCUP reúne a sua comunidade para celebrar o passado, reconhecer o presente e inspirar o futuro desta área.
palestra alumni
Docentes do DCC vão desenvolver tecnologia para ajudar à deteção precoce de doenças cardíacas em países em desenvolvimento.
investigação IA