RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods. Title: Leveraging LLMs to Improve Static Analysis Outputs...
Hugo Miranda, LASIGE integrated member, co-authored an opinion piece in the newspaper Público on January 28th, 2025, celebrating the European Day on Data Protection. In the piece, Hugo highlights the responsibility of each citizen in the protection of his personal...
********** Enriching Knowledge Bases with Interesting Negative Statements (2020) Arnaout et al. (pdf) When: 13:30 PM, 6/Mar/2025 Where: C6.3.26 ********** Don’t forget to read the paper beforehand and come prepared with a contribution! ********** How the reading club...
Alan Oliveira is participating in the CIBERLAB project, which aims to develop a cutting-edge laboratory for cybersecurity testing in the electrical sector. By combining Digital Twins, Hardware in the Loop, and AI-driven attack simulations, the project will replicate...
Following the work of his thesis, LASIGE PhD student Vasco Branco, under supervision of LASIGE integrated researcher Luís Correia and Pedro Cardoso (CE3C/FCUL), published the paper “SPECTRE: Standardised Global Spatial Data on Terrestrial SPecies and ECosystems...