I am Jorge Cerqueira and this is my webpage.

Some Projects

• EWD840 Specification - Specification of Dijkstra's termination detection algorithm for distributed computations in Alloy.
• Benchmarking of Java Projects - Batch analysis of code smells in java projects using sonarqube, automatic generation of input in haskell, benchmark of application speed and energy consumption.
• Management of Dissertation Aplications - Odoo addon to manage the process of applying to a dissertation for Informatics Engineering students at UMinho.
• VoT - Fully static web application for vocabulary tracking to aid in language learning.
• site - This website :)

Publications

• Timely Specification Repair for Alloy 6. Cerqueira, Jorge, Alcino Cunha, and Nuno Macedo. In International Conference on Software Engineering and Formal Methods (pp. 288-303). Springer, Cham.