Carla Ferreira

Associate Professor

Software Systems

Country: Portugal

Affiliation: Faculdade de Ciências e Tecnologia, UNL


Phone: +351 212 948 536 (ext. 10705)

I'm an assistant Professor at DI FCT UNL, and a member of the PLASTIC research team of the Software Systems group. My research is concerned with developing formal calculi and tools to express and reason about concurrent and distributed systems, with the overall goal of helping programmers to build trustworthy software systems. I've participated in several European projects (Matisse, Sensoria, ABCD, Ascens, SyncFree, RevComp) and national projects, and published in top-tier venues, including POPL, ESOP, CONCUR, COORD, EuroSys, and SRDS.