Departamento de Ciência de Computadores, FCUP

Hoje às 14h!

Talks@DCC 📢 “Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems”

🗓️ 19 de junho às 14h
📍 FC6 0.29
🎙️ Marjan Sirjani

Contamos com a tua presença!

Mais informações: https://www.dcc.fc.up.pt/pt/communications/post/palestra-formal-verification-and-runtime-assurance-of-distributed-cyber-physical-systems

Talks@DCC 📢 "Asynchronous Team Automata"

🗓️ 26 de junho às 14h
📍 FC6 0.29
🎙️ José Proença

Contamos com a tua presença!

Mais informações: https://www.dcc.fc.up.pt/pt/communications/post/palestra-asynchronous-team-automata

Da lógica de programação ao processamento de dados, a formação em Programação em Python é para quem quer adquirir competências práticas e aplicáveis em diferentes contextos profissionais.

👉Conhece o conteúdo programático e candidata-te até 29 de junho: https://edc.fc.up.pt/inicio/programacao-em-python/

Alípio Jorge, docente do DCC-FCUP e investigador do INESC TEC, integra a Equipa Reitoral da Universidade do Porto para o mandato 2026–2030. 🙌

Assume funções como vice-reitor para as Infraestruturas Digitais e Transformação Digital, com foco na estratégia da U.Porto nas áreas da inteligência artificial e dos sistemas digitais.

Descobre mais em: https://www.dcc.fc.up.pt/pt/communications/post/alipio-jorge-integra-a-nova-equipa-reitoral-da-uporto

Talks@DCC 📢 “Formal Verification and Runtime Assurance of Distributed Cyber-Physical Systems”

🗓️ 19 de junho às 14h
📍 FC6 0.29
🎙️ Marjan Sirjani

Contamos com a tua presença!

Mais informações: https://www.dcc.fc.up.pt/pt/communications/post/palestra-formal-verification-and-runtime-assurance-of-distributed-cyber-physical-systems

O xSTF destaca-se em competições universitárias de cibersegurança. 🔐

O grupo conquistou lugares de destaque em dois hackathons universitários realizados em Coimbra e Aveiro, reforçando o talento e a excelência dos estudantes na área da Segurança Informática.

Lê mais aqui: https://www.dcc.fc.up.pt/pt/communications/post/xstf-brilha-em-competicoes-universitarias

Parabéns pela conclusão do Programa Doutoral em Ciência de Computadores, Miguel.

A tese "A Quantitative Study of Higher-Order Computations with Effects" foi defendida no dia 20 de maio.

Votos de sucesso!

Felicitamos a estudante Ana Barros pela conclusão do Doutoramento em Ciência de Computadores, com a defesa da tese "Using Machine Learning to Refine Space Weather Models and Infer Its Effects on Earth" no dia 18 de maio.

Votos de sucesso!