Paulo Canelas, LASIGE’s researcher and PhD Student, recently finished his four months Summer Internship at the Programming Systems Research Group (PSG) at Uber Technologies Inc. in California. During his internship, he used program analysis techniques to...
We are excited to share that our researchers Paulo Canelas, PhD student, and Alcides Fonseca, integrated member, in collaboration with researchers from Carnegie Mellon University and North Carolina State University, had their latest research accepted at the...
The paper “Polymorphic higher-order context-free session types”, authored by LASIGE’s integrated researchers Diana Costa, Andreia Mordido, Diogo Poças, and Vasco T. Vasconcelos, has been published in Theoretical Computer Science, a top-ranked journal. The authors...
LASIGE’s integrated researcher João Bimbo organised two workshops at the 20th edition of the Robotics: Science and Systems conference (RSS 2024). With Maria Pozzi (University of Siena), the researcher is organising the ‘Robots that help and ask for...
The paper “Biclustering data analysis: a comprehensive survey”, authored by LASIGE’s PhD student Eduardo N. Castanho, and integrated researchers Sara C. Madeira and Helena Aidos, has been published in Briefings in Bioinformatics, a top-ranked journal (SCIMAGO Q1)....
The paper “State Machine Replication for the Masses with BFT-SMaRt” was awarded the Test-of-Time Award at the 54th IEEE/IFIP International Conference on Dependable Systems and Networks, held in Brisbane, Australia, in June 2024. Alysson Bessani was there to receive...
