Carla Ferreira
Carla Ferreira completed her PhD in 2003 at the University of Southampton. Currently, she is a Full Professor at NOVA University Lisbon which she joined in 2007. Carla is an integrated researcher at the NOVA LINCS research center, and since June 2023, the coordinator of the NOVA LINCS Software Systems group. She started her academic career as an Assistant at Universidade do Minho. Later, Carla joined the University of Southampton, first as a PhD student and later as a research fellow. After returning to Portugal in 2003, she was an Assistant Professor at IST. Her research is concerned with developing formal calculi, techniques, and tools to express and reason about concurrent and distributed systems, with the overall goal of helping programmers build trustworthy systems. Carla Ferreira coordinates the EU Horizon Europe TaRDIS project, managing a budget of 7.2 million euros and 11 partners, including University of Oxford, TU Denmark, and Telefónica. She also co-coordinates the AVantGaRDe project on reliable foundations of local-first graph databases, funded by NLnet Foundation. Carla has participated in EU projects as H2020 LightKone, STREP SyncFree, FP6 IP Sensoria, and COST Action RevComp. Regarding FC&T national projects, she coordinated project PRECISE, co-coordinated project NG-Storage, and participated in 5 FCT projects, 2 CMU-Portugal projects, 1 innovation project with the industry, 2 industrial projects (OutSystems and IBM), and 2 educational projects (Gulbenkian and Altran). These projects fostered collaborations with researchers from IMDEA, Oxford University, INRIA, and VUB, among others. Carla coordinates the department's PhD program. She advised 1 postdoc and 3 PhD students and is the advisor (or co-advisor) of 3 ongoing PhDs. At the MSc level, she advised 32 students and currently advises 3MSc students. Carla evaluated project proposals for the EU Horizon 2020 and EU Seventh Framework; and international funding Agencies as Swiss National Science Foundation (2023), Science Foundation Ireland (2019), and French National Research Agency (2018 and 2019). She has been on the program committee of POPL, ECOOP, TACAS, Formal Methods, MFPS, FORTE, among others. Moreover, Carla was a keynote speaker at ATVA’17 (venue ranked A in CORE) and several workshops. She co-organised a Dagstuhl seminar and a recurring summer school on distributed data management. She has published in top-tier venues, including POPL, VLDB, EuroSys, OOPSLA, ESOP, MoDELS, and CONCUR. As for technological transfer, several research outputs from Carla’s collaboration with OutSystems have been integrated in its low-code development platform.