The FCUL team Caracóis Hipocondríacos won the 3rd place at the national inter-universities programming contest, earning the silver medal. One of the three contestants, Nuno Burnay is a junior researcher at LASIGE, where he is developing his Masters Thesis on verification of protocol conformance in REST APIs.