Search results for:
Filter your results
0 Search results
SLSNA
About the Project
Acronym
SLSNA
Responsible
João Gama
Status
Closed
Starting Date
January 15, 2020
Ending Date
January 9, 2021
Effective End Date
January 9, 2021
Global Budget
€30,000.00
Funding
€30,000.00
Website
--
Datasheet
--
Dissemination
INESC TEC has a unique and differentiating management model, improved over its 35 years of history. Reflecting its unique position between academia and industry, the management at INESC TEC carefully balances, in a hybrid model, the academic culture of scientific freedom and dialogue with a culture of efficiency and responsibility in management.
Associated Centres
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.
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.
