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

0 Search results

QUANTHOS

INESC TEC

About the Project

Acronym

QUANTHOS

Responsible

Ariel Guerreiro

Status

active

Starting Date

January 1, 2025

Ending Date

January 31, 2027

Effective End Date

--

Global Budget

€57,664.40

Funding

€57,664.40

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

Applied Photonics

From fundamental science to real-world innovation: at our Centre for Applied Photonics (CAP), we explore optical phenomena as a unique toolbox for innovation in micro- and nanofabrication, optical, physical, and biochemical sensors, and platforms for analogue simulation and quantum computing. Our researchers focus on developing systems capable of operating in contexts where precise and reliable sensing is essential (industry, environment or biomedicine), as well as nonlinear optical devices for building quantum analogue simulations and computing platforms. Our advances in photonic sensing enable their use in extreme environments, e.g., outer space or deep sea. Based on a non-siloed organisation, the solutions we develop through the study of light and photons require multidisciplinarity and close, cooperative work across our various research domains. With our expertise in photonics and electronic systems integration, we explore the potential for technology transfer to the emerging national and international photonics industry.

Applied Photonics

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