Linkedin
Enhancing Trustworthy Robotic Navigation in Uncertain Environments

Enhancing Trustworthy Robotic Navigation in Uncertain Environments

LASIGE researcher José Cecílio has successfully obtained funding for the RobustSAR Portugal-Germany Bilateral Cooperation 2024 initiative. The RobustSAR project seeks to build and strengthen a collaborative research network focused on control theory, mobile robotics,...
LASIGE Project Proposal Pitch to Peers

LASIGE Project Proposal Pitch to Peers

“LASIGE Project Proposal Pitch to Peers”, specially designed for Early Career Researchers, by the LASIGE’s Executive Commission, was held on February 11, 2026. Researchers who want to submit projects present their ideas and discuss opportunities and challenges with...
Safer Software with Liquid Types

Safer Software with Liquid Types

Alcides Fonseca, LASIGE integrated member, gave a talk entitled “Safer Software with Liquid Types”, on 4 February 2026, at Department of Computer Engineering (DEI) at the Faculty of Engineering of Oporto. The presentation was structured as follows: “In a world where...
Alcides Fonseca presents a safer programming language at ETH

Alcides Fonseca presents a safer programming language at ETH

Alcides Fonseca, LASIGE integrated member, visited, on 13 February 2026, the Programming Methodology Group at ETH Zürich to present aeon, a programming language that uses liquid types, which prevent programmers from making a wide range of errors. In his presentation,...