
About Project
Acronym
AIDA
Responsible
Ricardo Manuel Pereira Vilaça
Status
Concluded
Start
January 12, 2020
End
January 30, 2023
Effective End
January 30, 2023
Global Budget
€1,183,005.00
Financing
€414,109.00
Website
Members
Team Leaders

Ricardo Pereira Vilaça
Ricardo Vilaça has a PhD from MAP-i since 2012. Currently he is a senior researcher at HASLab and MACC, University of Minho & INESC TEC and former has query engine technical director at LeanXcale. His research interests are energy efficient and scalable data management in both parallel and distributed systems. Currently, he participates in EuroCC2 and SustainableHPC research projects. He represents MACC in the national network (RNCA), and in EuroHPC hosting entities forum. He was the INESC TEC coordinator of the AIDA CMU large scale collaborative project and had participated in more than 15 national and international research projects. He was co-supervisor of 2 PhD students and had supervise several research grant holders and master thesis. He had published more than 40 research papers or articles and has served as reviewer for several highly reputed conferences.

João Vinagre
I'm a researcher at LIAAD, the Laboratory of Artificial Intelligence and Decision Support at INESC TEC. I received my PhD from the Faculty of Sciences of the University of Porto in 2016. My research interests are recommender systems, user modeling, personalization, web intelligence and information retrieval. I'm also interested in more fundamental areas of artificial intelligence, such as data stream mining, neural networks and representation learning.
Associated Centres
High-Assurance Software
At the High-Assurance Software Laboratory (HASLab), we improve practice through theory, creating and implementing software that goes beyond mere functionality: we ensure it is correct, resilient, and secure against failures and attacks. Our team of researchers, scientists, and engineers has proven expertise in software engineering, developing methods and tools to design and integrate robust software; in distributed systems, exploring distribution and replication to ensure scalability and reliability; and in information security, addressing cybersecurity challenges and improving systems with advanced, secure cryptographic protocols, thus minimising vulnerabilities. With a multidisciplinary approach supported by solid theoretical principles, we develop innovative solutions for critical software, secure cloud infrastructures, and privacy-aware big data management, driving scientific advancement, innovation, and high-level consultancy. In addition, we complement our core expertise with work in human-computer interaction, programming languages, computational mathematics, and quantum computing - because we believe the future of trustworthy software is built on knowledge and innovation.

Artificial Intelligence and Decision Support
Our Laboratory of Artificial Intelligence and Decision Support (LIAAD) conducts research in the fields of Artificial Intelligence, Machine Learning, Data Science, and Modelling. These areas are cross-cutting and apply to all sectors of society and the economy. The vast amounts of data being collected, alongside the ubiquity of digitalisation and sensorisation, are increasingly creating opportunities and challenges for automating decision support. The combination of Machine Learning and complex models is transforming the economy, healthcare, justice, industry, science, public administration, and education. This encourages us to invest in diverse technological and scientific approaches and perspectives. Our overarching strategy is to explore the flow and diversification of data, and to invest in research lines that will lead to the development of applied Artificial Intelligence foundations and models that are responsible and human centred.
