João Costa Seco

João Costa Seco is a member of the Software Systems area at NOVA-LINCS in the Programming Languages group (PLASTIC). His research interests span from the theoretical foundations of software systems to the practical implementation of software development environments and tools. He focuses on improving the correctness and productivity levels of the software industry through the use of lightweight software verification mechanisms, such as type systems and programming language design. His work covers several areas including concurrency, live programming, software evolution, business processes, software security, and automated programming. He acted as PI at NOVA LINCS in the CMU Portugal large-scale research project GOLEM, which focused on devising new automated software construction methods in a Low-code environment. He is an active member of the TaRDIS EU Horizon project whose core topic is the development of programming models for intelligent swarms. João actively collaborates with the industry, namely the OutSystems R&D team developing new language abstractions for the company's product, a programming environment for mobile and web applications.