Fundamentos de Redes de Computadores
A 3.ª edição do curso proporciona uma base sólida sobre os princípios e tecnologias que suportam as redes de computadores e a Internet - as candidaturas terminam a 25 de agosto.
DI
Functional programming in industry with a case study in Static Application Security Testing (SAST)
RSS Meetup, por Dimitris Mostrous (Aikido Security).
Language Runtimes for Scalable, Elastic, and Heterogeneous Clouds
RSS Meetup, por Rodrigo Bruno (IST, ULisboa).
A Decade Verifying LLVM, or How to Retrofit Soundness in Industrial Software
RSS Meetup, por Nuno Lopes (IST, ULisboa).
Towards GPU-accelerated automated reasoning
RSS Meetup, por Martin Berger (University of Sussex & Montanarius Ltd).
AI, Computer Vision, and Forecasting for Drone Intelligence
Talk @DI, por João Pedro Carvalho.
Princípios Técnicos em Cibersegurança
O curso oferece uma base sólida sobre os fundamentos e práticas essenciais para proteger sistemas e dados num mundo cada vez mais digital - candidaturas até 13 de abril.
Fundamentos de Redes de Computadores
Combinando teoria e prática, o curso prepara os alunos para compreenderem a infraestrutura digital moderna e aplicarem esses conhecimentos em cenários reais, com foco em arquiteturas robustas, deteção de erros e soluções para redes de alto desempenho.
Sessão de apresentação dos Mestrados do Departamento de Informática
Será descrito o funcionamento dos vários cursos, as suas estruturas curriculares, e os horizontes profissionais que oferecem. A sessão contará igualmente com a presença de alunos dos diferentes Mestrados, disponíveis para esclarecer todas as dúvidas e questões.
Private Information Retrieval Protocols for Simple (and Less Simple) Databases
Talk @DI, por Alex Davidson (DI/FCUL).