INESC TEC
INESC TEC
INESC TEC
Search results for:
Filter your results

0 Search results

THEIA

INESC TEC

About the Project

Acronym

THEIA

Responsible

Luís Manuel Pessoa

Status

Closed

Starting Date

January 3, 2022

Ending Date

January 30, 2023

Effective End Date

January 30, 2023

Global Budget

€501,440.00

Funding

€501,440.00

Website

--

Datasheet

--

Associated Centres

Advanced Computing Systems

The Centre for Advanced Computing Systems (CRACS) strives for scientific excellence in the areas of programming languages, parallel and distributed computing, information mining, security and privacy, focusing on developing scalable software systems for multidisciplinary applications in Engineering, Life Sciences, Social Networks, the Internet of Things, and more. We explore deep theoretical and practical knowledge related to the design and development of programming languages and middleware for advanced computing systems - including parallel, distributed, high-performance, cloud, wireless, and IoT systems -, while mastering the concepts and methodologies that underpin trust, privacy, and security in computing systems. Our research environment brings together talented junior and senior researchers, most of whom are university lecturers. Together, they form the critical mass and scientific expertise required to fulfil our mission.

Advanced Computing Systems

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.

Artificial Intelligence and Decision Support

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.

High-Assurance Software

Telecommunications and Multimedia

The Centre for Telecommunications and Multimedia (CTM) welcomes close to 200 members, including at least 100 integrated researchers who carry out scientific work in the fields of communications, Artificial Intelligence, and computer science and engineering. The Centre’s activities cover several Research and Development (R&D) domains: Communications and Electronics Radio Frequency Technologies Optoelectronics Microelectronics Wireless Communication Networks Computer Perception Computer Vision applied to Medical Imaging Computer Vision applied to Digital Media Computer Audio applied to Music With multidisciplinary teams that include dozens of PhDs, CTM is strongly committed to both European and national research projects, as well as consultancy projects with industry.

Telecommunications and Multimedia