João Pascoal Faria is an Associate Professor at the Department of Informatics Engineering, Faculty of Engineering of the University of Porto. He holds a PhD in Electrical and Computer Engineering and serves as Director of the Integrated Master in Informatics and Computing Engineering (MIEIC). He is a researcher at INESC TEC, coordinating the Software Engineering area, and represents FEUP and INESC TEC in national and international technical commissions for health informatics and software quality. Education: PhD in Electrical and Computer Engineering (1999), University of Porto His research focuses on model-based testing , software process improvement , and model-driven development . He explores the use of Large Language Models (LLMs) for automated test generation in REST APIs and formal verification tools like Dafny. His work emphasizes practical applications, including IDE integration and market-driven tools like SAGA, a rapid application development platform based on domain-specific languages. João has supervised multiple theses in areas such as IoT systems, sign language recognition, and low-code development. He has over 25 years of experience in education and industry collaboration, co-founding companies like Qualisoft and Strongstep. His contributions span formal verification, test automation, and software quality assurance.








