Functional programming in industry with a case study in Static Application Security Testing (SAST)
RSS Meetup, por Dimitris Mostrous (Aikido Security).
DI
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).
Inteligência Artificial na Sociedade e Serviços Públicos
Formação ministrada por Nuno Cruz Garcia (Ciências ULisboa).