- Models of concurrency and distribution
- Foundations of cloud computing
- Language-based techniques for low-code software development
- +۵ مورد دیگر
Carla Ferreira is a Full Professor in the Computer Science Department at NOVA University of Lisbon and a researcher at NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) in the Software Systems research group. Her academic career began as an Assistant at Universidade do Minho, followed by positions at the University of Southampton's Dependable Systems & Software Engineering Group, and later as an Assistant Professor at IST before joining her current position at NOVA University Lisbon. Her primary research interests focus on Models of concurrency and distribution , Foundations of cloud computing , and Language-based techniques for low-code software development . She has made significant contributions to distributed systems, particularly in the areas of data replication, consistency models, and programming languages for distributed environments. Her work bridges theoretical foundations with practical applications in cloud and edge computing systems. Dr. Ferreira's recent publications demonstrate a strong focus on low-code development platforms, particularly the OSTRICH language framework she has developed, as well as replicated data types, spatio-temporal monitoring systems, and ontology-based approaches to software development. Her research consistently addresses the challenges of building reliable distributed systems while improving developer productivity through language-based techniques. She has served on the program committees of numerous prestigious conferences including ECOOP, FORTE, POPL, and TACAS, demonstrating her standing in the programming languages and distributed systems communities. As an academic advisor, Dr. Ferreira has supervised numerous PhD and MSc students, both ongoing and completed, working on topics ranging from distributed databases to low-code development and formal verification. She has also led significant research projects including PRECISE (as Principal Investigator), GOLEM, LightKone, and currently TaRDIS (Trustworthy and Resilient Decentralised Intelligence for Edge Systems).