Sérgio Marcelino to Lead New European SemPER Project

04/04/2026

Congratulations to our colleague Sérgio Marcelino, CEEC Researcher at SQI-Lx (IT) and the Department of Mathematics, on the recent funding approval of the European Project MC Staff Exchange: SEMantics, Proofs, and Effective Reasoning (SemPER). Serving as the project’s Principal Investigator, Sérgio will oversee this collaborative initiative focused on advancing research in semantics and logic. We celebrate this achievement and look forward to the developments arising from the SemPER project.