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 International Conference in Robotics and Automation (ICRA) 2024, one of the most prestigious conferences in robotics (Core A*). […]

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 statically detect configuration issues internally at Uber.

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 present an extension of polymorphic context-free session types that allows passing channels on channels, commonly known as higher-order session types. The […]