Linkedin
RSS meetup: Cláudia Mamede

RSS meetup: Cláudia Mamede

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’s opinion in Público newspaper

Hugo Miranda’s opinion in Público newspaper

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...
Reading Club in HBI and DSI #22

Reading Club in HBI and DSI #22

********** 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...
LASIGE participates in Brazilian cybersecurity project

LASIGE participates in Brazilian cybersecurity project

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...