Search results for:
Filter your results
0 Search results
SpecRep
About the Project
Constraint-based Specification Repair
Acronym
SpecRep
Responsible
Nuno Moreira Macedo
Status
Closed
Starting Date
January 1, 2022
Ending Date
January 31, 2023
Effective End Date
January 31, 2023
Global Budget
€49,908.00
Funding
€49,908.00
Datasheet
--
Members
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
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.
Human-Centered Computing and Information Science
The Centre for Human-Centered Computing and Information Science (HumanISE) brings together engineers, scientists, and designers with expertise in Human-Centred Computing (HCC), Computer Science (CS), and Information Science (IS). Interdisciplinarity, one of the Centre’s defining features, fosters the development of software systems, methods, and tools designed to empower individuals and their communities. The excellence and impact of HumanISE’s research, innovation, and consultancy activities allow addressing increasingly complex, volatile, heterogeneous, ambiguous, and uncertain challenges, while ensuring compliance with legal, ethical, and organisational standards and frameworks. Value transfer is achieved through close collaboration with academia and industry partners. HumanISE’s core research areas include Human-Computer Interaction; Computer Graphics and Interactive Digital Media; Information Management and Information Systems; Software Engineering; and Large-Scale and Special-Purpose Computing Systems, Languages, and Tools; as well as Computing for Embedded and Cyber-Physical Systems. HumanISE also explores innovation domains like Earth, Ocean and Space Sciences; Personalised Health Research; Geospatial Information Systems Engineering; and Applied Information Systems and Computing.
