INESC-ID

Category: News

  • R.617: INESC-ID PhD students cut the ribbon on their new room

    R.617: INESC-ID PhD students cut the ribbon on their new room

    Located on the 6th floor of the Alves Redol building, room 617 started as a storage room, with spare furniture lying around. In the past few months, however, it was subject to a complete makeover. Under the guidance of the Communications and Outreach Office, students from the PhD Volunteer team measured the space, mapped it out and brainstormed ideas for furniture, decoration and even board games. After a year-long long process, and counting with the strong support from the Board of Directors, the new exclusive PhD Students Room was finally ready, waiting for the big inauguration.

    On April 2nd, around 30 people attended the symbolic ceremony, which included two members of the Board, João Paulo Carvalho and Helena Galhardas who, along with PhD Volunteer Daniel Gonçalves cut the ribbon placed at the door. Together, they shared the importance of having a space especially dedicated to PhD students, where they can study, socialize or take a breather from a day’s work. Enjoying the music being played and the snacks provided, the students were left to chat and enjoy their brand-new space.

    Connecting with like-minded individuals, listening to each others’ stories and challenges, sharing knowledge and new ideas, are part of what makes community building crucial for a successful PhD journey. With this in mind, the Communications and Outreach Office of INESC-ID has been developing a series of community building initiatives for our PhD students, with the latest one being the much-anticipated PhD Room. This room, managed by the PhD Volunteer team, is now open for any PhD student who wants to use it.

     

    Images | © 2025 INESC-ID

  • INESC-ID rated “Excellent” in FCT evaluation with top scores in all categories

    INESC-ID rated “Excellent” in FCT evaluation with top scores in all categories

    INESC-ID has been awarded the highest possible rating—“Excellent”—in the latest national evaluation of Research and Development (R&D) Units by the Portuguese Science and Technology Foundation (FCT). Our research center achieved the maximum score in all evaluation criteria, highlighting the quality, merit, and societal relevance of its research activities.

    INESC-ID stood out as one of the most prestigious institutions in the country. With a research community that includes more than 200  research associates, and almost 200 PhD students, the unit develops cutting-edge research aligned with four thematic lines of high societal relevance: Societal Digital Transformation, Life and Health Technology, Energy Transition, Security and Privacy.

    The FCT evaluation panel praised INESC-ID for its outstanding international-level research, excellence in scientific publications—including work in Nature, NeurIPS, and ICSE—and its contributions to both theoretical and applied domains. Groundbreaking projects such as Gravitron (trusted execution environments in GPUs, adopted by NVIDIA and Microsoft) and Alive (compiler verification tools, used by Google, Apple, and Qualcomm) were recognized as proof of the unit’s technological leadership.

    In addition to scientific output, the panel highlighted INESC-ID’s strong role in international collaboration, industry partnerships, and public engagement, as well as its firm commitment to ethical research practices and gender equality. Currently, 10 spin-offs operate based on INESC-ID technologies, showcasing its impact on innovation and the broader economy.

    “This result is a recognition of the collective work of our entire community,” said Inês Lynce, President of the Board of Directors of INESC-ID. “It reflects our commitment to excellent research, our focus on societal challenges, and our long-standing values of collaboration, inclusion, and scientific integrity. We are proud to lead a center that not only advances knowledge but also strives to shape a better future for all.”

    Miguel Pupo Correia, President of the Executive Committee, notes that “INESC-ID’s Excellent rating by FCT confirms the effectiveness of the strategy we have been pursuing — and intend to continue — based on four main pillars: scientific excellence, internationalization, technology and knowledge transfer, societal impact, and talent development.”

    Looking forward, INESC-ID will place a strong emphasis on talent development, adding a new strategic pillar to its institutional mission. This includes empowering young researchers through initiatives such as PhD representation, tenure-track-like programs, and ongoing investments in ethics, training, and career progression.

    “Most of the institution’s activity consists of self-funded research projects and service provision. However, the funding received as part of this evaluation is crucial for the implementation of our strategic plan, particularly in terms of improving working conditions for researchers. This includes support for project proposal preparation and project management”, ads Miguel Pupo Correia.

    The panel also emphasized the need for robust computational infrastructure—including GPU clusters and specialized labs—to support the center’s ambitious goals in machine learning, embedded systems, and robotics. INESC-ID’s solid plan for the upcoming years positions the unit to continue delivering high-impact, technically challenging, and socially meaningful research.

    The evaluation, which determines the allocation of €634.9 million in public funding for the 2025–2029 period, reviewed a total of 336 R&D units. Of these, 313 received funding, with only one withdrawal. The rigorous process also noted that 79 units improved their classification compared to the previous evaluation.

  • INESC-ID researchers win awards at EuroSys 2025

    INESC-ID researchers win awards at EuroSys 2025

    Two papers co-authored by INESC-ID researchers, professors, and students from the Department of Computer Science and Engineering (DEI) at Instituto Superior Técnico were distinguished at EuroSys 2025, a leading European conference in computer systems, held in Rotterdam from March 30 to April 3.

    The paper “HawkSet: Automatic, Application-Agnostic, and Efficient Concurrent PM Bug Detection”, by João Oliveira and João Gonçalves, both PhD students in the Doctoral Program in Computer Engineering (PDEIC), and Miguel Matos, INESC-ID researcher, DEI Professor and Big Era Chair team member, received the prestigious EuroSys Gilles Muller Best Artifact Award.

    The work presents HawkSet, an innovative tool for detecting concurrent bugs in Persistent Memory (PM) systems. PM enables the development of fast, persistent applications without relying on expensive HDD/SSD-based I/O operations. However, due to the volatile nature of caches and CPU memory reordering for performance optimization, developers must use low-level instructions to ensure data consistency in case of crashes—especially in concurrent environments, where new classes of bugs can emerge.

    HawkSet stands out for being automatic, application-agnostic, and highly efficient. It employs lockset analysis and automatic binary instrumentation to detect all bugs found by state-of-the-art tools, as well as seven previously unknown bugs. It achieves this without requiring application-specific knowledge, debugging artifacts, or guided executions. HawkSet also delivers significant performance improvements—up to 159x faster detection—and consistently uncovers hard-to-reach bugs that depend on rare interleavings.

    Luís Pedrosa (DEI/INESC-ID) was also honored, alongside his co-authors, with the EuroSys Test of Time Award for the paper “Large-scale cluster management at Google with Borg.”

    The paper describes Borg, Google’s cluster management system that runs hundreds of thousands of jobs from thousands of applications across clusters with tens of thousands of machines.

    Borg achieves high resource utilization through a combination of admission control, efficient task-packing, over-commitment, and process-level performance isolation. It supports high-availability applications with runtime features that reduce fault-recovery time and scheduling policies that lower the risk of correlated failures. For users, Borg offers a declarative job specification language, integration with name services, real-time monitoring, and tools for system analysis and simulation.

    EuroSys, the European Conference on Computer Systems, is one of the most prestigious conferences in the field of systems research—particularly relevant to the Distributed, Parallel and Secure Systems (DPSS) research area at INESC-ID.

  • Finding his corner of the beach: Ricardo Rei’s path to an award-winning Ph.D.

    Finding his corner of the beach: Ricardo Rei’s path to an award-winning Ph.D.

    When Ricardo Rei started his bachelor’s degree in Computer Science and Engineering, he already knew he wanted to work in AI. But it was the people who led the former INESC-ID researcher to pursue his master’s in dialogue systems and chatbots. Under the supervision of João Graça, Unbabel’s CTO at the time — a company Ricardo discovered during Semana Empresarial e Tecnológica — he came into close contact with automatic translation algorithms. It was then he realised how hard it was to evaluate the quality of chatbots or, as we may put it, to separate the wheat from the chaff.

    It soon became clear that this would be the topic of his Ph.D. thesis, titled “Robust, Interpretable and Efficient MT Evaluation with Fine-tuned Metrics.” A thesis he completed in less than the usual four years — and one that has earned strong recognition from both industry and academia through citations, conference presentations, and awards. The latest of these is the Anthony C. Clarke Best Thesis Award by the European Association for Machine Translation (EAMT) — the first time a scientist working in Portugal has received this distinction.

    “I am not surprised at all!” says INESC-ID researcher and proud supervisor Luísa Coheur — who co-supervised the work with Alon Lavie from Carnegie Mellon University. “It’s a very robust thesis, with many publications and no fragility,” she adds.

    The Cross-lingual Optimized Metric for Evaluation of Translation, or COMET — the most visible outcome of Ricardo’s work — has been widely adopted for evaluating translation engine outputs. It’s now integrated into the Unbabel portfolio, a company specialising in AI-driven translation with human assistance, where Ricardo has worked ever since completing his master’s. He currently holds the position of Senior Research Scientist.

    “Our models are public,” he notes, “but if they are being used for commercial purposes, they must be paid for.” COMET is used to determine whether a machine translation needs human review and correction. “It ended up being adopted as the main evaluation metric,” Ricardo explains.

    Luísa recalls the same enthusiasm and dedication in Ricardo when he was just a first-year student, crediting that strong connection and drive for his remarkable achievements. As for Ricardo, it’s no surprise he uses a beach metaphor to describe how he completed his Ph.D. so quickly and smoothly: “When I started my Ph.D., I already knew my corner of the beach.” After all, he’s a former surf champion.

    The award, named after a former member of EAMT, of “exceptional human qualities”, notes INESC-ID researcher and current President of EAMT, Helena Moniz, will be delivered on a ceremony in June.

  • Overcoming the Adamastor: INESC-ID PhD Student wins third edition of the award “Vencer o Adamastor”

    Overcoming the Adamastor: INESC-ID PhD Student wins third edition of the award “Vencer o Adamastor”

    In an effort to reduce the time spent correcting errors in coding, Pedro Orvalho, who recently concluded his PhD thesis, at INESC-ID and Instituto Superior Técnico, and is now at the University of Oxford, has developed the artificial intelligence tool MENTOR, which has earned him the third edition of the award “Vencer o Adamastor” (“Overcoming the Adamastor”). On winning this recognition, the researcher shared that “it is an honour for me to receive this award, as it recognises the impact, both at a scientific and societal level, of the research work I developed during my PhD in collaboration with my supervisors, Vasco Manquinho here at INESC-ID, and Mikoláš Janota at CIIRC, at the Czech Technical University in Prague.”

    The MENTOR system helps to automatically identify errors in computer programs, offering instant, personalised feedback to the students, while encouraging them to solve the problem themselves, as the system doesn’t provide solutions. This reduces the amount of simpler doubts and questions asked to the teachers, allowing their time to be dedicated to more complex or conceptual student issues, improving pedagogical support.

    Tests have been carried out in Computer Engineering courses at Instituto Superior Técnico, with positive feedback. However, its use will not be exclusive to university level – according to Pedro “looking to the future, with the increasing digitalisation of society, programming will soon become a common subject at all levels of education, from basic to university. The MENTOR system thus appears as a learning tool that can help in the construction of this path, where each student can learn to program more autonomously.”

    The award ceremony will take place tomorrow, April 11, at 17h00, at Técnico Innovation Center, attended by Rogério Colaço, president of Instituto Superior Técnico, Arlindo Oliveira, president of INESC, Luís Ferreira, Rector of the University of Lisbon, and Fernando Alexandre, Minister of Education, Science and Innovation.

    The Prize “Vencer o Adamastor” (“Overcoming the Adamastor”), established by INESC and the newspaper “Público”, aims to reward “innovative works by young scientists, developed in Portugal, in the fields of electrical engineering , computing and the like, which reveal not only scientific excellence, but also potential for developments that benefit society”.

  • Arlindo Oliveira receives Honorary Doctorate from Macau University of Science and Technology

    Arlindo Oliveira receives Honorary Doctorate from Macau University of Science and Technology

    “A distinguished engineer who has made outstanding contribution:  in Al, algorithms and complexity, and computational biology. He actively promotes China-Portugal scientific cooperation leveraging on Macao as an important bridge.“ It was with these words that Professor Joseph-Hun-wei Lee, President of Macau University of Science and Technology, justified the attribution  of the title of Doutor Honoris Causa by the Macau University of Science and Technology (MUST) to the INESC-ID researcher and Professor at Instituto Superior Técnico, Arlindo Oliveira. The event occurred on March 27, during the university’s 25th anniversary ceremony.

    Arlindo who is also President of INESC is the first Portuguese citizen to receive this distinction from MUST.

    The event also honoured two Nobel laureates: Professor Samuel Ting, awarded the Nobel Prize in Physics in 1976 for the discovery of the J particle, and Professor Sir Paul Nurse, who received the Nobel Prize in Physiology or Medicine in 2001 for his work on cell cycle regulation.

    With a distinguished career in artificial intelligence, algorithms, computational complexity, and computational biology, Arlindo Oliveira has played a leading role in advancing scientific research and education in Portugal and beyond.

    One example of this is the promotion of a partnership between China and Portugal, that resulted in the creation of the Joint Laboratory on AI and Public Health Technologies, a collaborative effort between INESC-ID, Guangzhou Laboratory, Guangzhou Medical University and MUST.

  • The Calm before the TecStorm – INESC-ID participates in TecSummit 2025

    The Calm before the TecStorm – INESC-ID participates in TecSummit 2025

    TecSummit, a unique event focused on entrepreneurship and technology, took place on March 28, at the Técnico Innovation Center (TIC), preceding the weekend-long TecStorm’25, the largest national university-level technology competition, organised by JUNITEC. The afternoon started with a roundtable on AI Frontiers, setting the scene for the following panels, which counted with our President of the Board, Inês Lynce as a speaker, alongside Paulo Dimas (CRAI) and moderated by João Martins (NOESIS).

    Among the various activities offered during the evening, the main attraction was the Product Showcase, where various companies and startups like Noxus.AI, CRIAM, Windcredible and others, gave a sneak peek of their products and activities. INESC-ID was the only research institute represented, displaying an eye-catching stand with several state-of-the art project demonstrations. Visitors and participants had the chance to talk to our researchers at our eye-catching stand enjoying a moment of calm and insightful discussions before the excitement and intensity of TecStorm25.

    Ricardo Chaves,  Joana Afonso and Pedro Martins showcased project DISCRETION, which intends to improve the security of military networks against emerging threats, while Larissa Montefusco provided passersby with an overview of EV4EU, a project, coordinated by Hugo Morais, with the ultimate goal of creating the conditions for electric mass deployment. Right next to EV4EU, Duarte Boto presented “REST: Interactive visualization tool for epidemic modelling”, which provides new insight in understanding the COVID-19 pandemic and for tracking future ones. Last but definitely not least, Anderson Maciel took over the big screen and, equipped with VR goggles, guided us through a 3D scheme of a colon, a new diagnosis VR tool that can prove itself as a new step for non-invasive diagnosis of health issues in the area.

    Images | © 2025 INESC-ID

  • INESC-ID participates in the INESC Brussels Hub Winter Meeting 2025

    INESC-ID participates in the INESC Brussels Hub Winter Meeting 2025

    Key European and national policymakers, research and technology infrastructure managers, and funding agencies, gathered on March 6 at the Faculty of Engineering of the University of Porto (FEUP), to attend the INESC Brussels Hub Winter Meeting 2025.  This year’s edition was particularly significant, as it focused on aligning EU and national strategies for the sustainability, governance, and funding of Research and Technology Infrastructures (RTIs), while also celebrating the 40th anniversary of INESC TEC.

    The meeting, organized with the support and participation of Portugal’s main research and innovation funding agencies, FCT (Fundação para a Ciência e a Tecnologia) and ANI (Agência Nacional de Inovação), was also an opportunity to discuss the evolving policy landscape and explore strategic investment models for RTIs.

    One highlight of the event was the “High-Level Policy Dialogue: Aligning EU, National and Regional Infrastructure Strategies,” moderated by Arlindo Oliveira, INESC-ID researcher and the President of the INESC holding. Additionally, Ana Teresa Freitas, also an INESC-ID researcher, participated as a panelist in the session “Strengthening the RI & TI Ecosystem: Governance, Sustainability, and Funding Strategies.”

    A dedicated Needs Assessment Workshop in the afternoon allowed participants to identify and validate key gaps and opportunities in the RTI landscape. The results of this workshop will be submitted to the European Commission to inform future policy and funding decisions.

    The President of FCT, Madalena Alves, attended the second day, participating in the closed event on “Policy, Governance, and Funding for Research and Technology Infrastructures.” Discussions also included key topics such as “The Next MFF, FP10, and the Future of R&I Funding.”

    Having participated actively on the meeting, Inês Lynce, President of the Board of Directors  of INESC-ID, stresses that “the INESC Brussels Hub Winter Meeting played a key role in discussing the alignment of EU and national strategies for the sustainability, governance, and funding of RTIs. Our participation in these discussions aimed to strengthen INESC-ID’s strategic alignment with EU initiatives, fostering new opportunities for collaboration and funding.”

    Miguel Pupo Correia, President of the Executive Committee of INESC-ID, also emphasized the importance of these events, stating, “Participation in European projects is of enormous importance for INESC-ID at various levels: funding, internationalization, and collaboration with leading companies and research centers, among others. These events organized by the INESC Brussels Hub provide a unique opportunity to understand the challenges and opportunities associated with such projects.”

  • Joaquim Jorge Inducted into IEEE VGTC Virtual Reality Academy

    Joaquim Jorge Inducted into IEEE VGTC Virtual Reality Academy

    After being recently appointed IEEE Fellow 2025, INESC-ID researcher in the area of Graphics & Interaction, Joaquim Jorge, has now been inducted into the IEEE VGTC (Visualization and Graphics Technical Community) Virtual Reality Academy. The distinction acknowledges professionals whose contributions, in advanced human-computer interaction, surpass the usual award criteria, promoting technical and scientific excellence in Virtual Reality (VR) technologies. 

    Joaquim Jorge has focused his work on sketch-based interfaces, modelling and virtual reality, which have significantly contributed to the development of areas such as computer-aided design, multimedia content production and augmented reality. He now joins a restricted group of internationally recognised researchers, whose contributions will promote further development in  the field of VR.

    The IEEE is the world’s largest technical professional organization dedicated to advancing technology for the benefit of humanity. Its members work in various fields of engineering, computing, and technology.

  • Arlindo Oliveira receives the Galp and Academy of Engineering Career Award

    Arlindo Oliveira receives the Galp and Academy of Engineering Career Award

    More than just “personal recognition,” the Career Award from Galp and the Academy of Engineering, presented to Arlindo Oliveira, is a “tribute” to the institutions where he has worked, said the INESC-ID researcher.

    The President of INESC and Professor at Instituto Superior Técnico spoke at the award ceremony, which took place on February 25 at Galp’s headquarters in Lisbon. The selection of Arlindo Oliveira as the award recipient was based on the “social and economic relevance of his career” as well as the “excellence of his contributions to engineering.”

    During the ceremony, the researcher from the Information and Decision Support Systems scientific area took the opportunity to share insights on ongoing discussions in AI, emphasizing that “the idea of mechanizing reasoning is not new.” He highlighted that “Alan Turing had already answered everything in 1950—he just didn’t have a computer.” He also reinforced the idea that “there is nothing in intelligence that is not computable.”

    In a recorded message, Marcelo Rebelo de Sousa, President of Portugal, praised the awardee’s “outstanding scientific career at both national and international levels” and recognized him as “a pioneer in the field of AI in our country.”

    The jury for the Career Award included Eduardo Marçal Grilo, João Paulo Oliveira, and Maria da Graça Carvalho, representing the Academy of Engineering, as well as Georgios Papadimitriou, Ana Casaca, and Manuel Andrade from Galp. The jury was chaired by Sebastião Feyo de Azevedo, President of the Academy of Engineering.

    Images | © 2025 Galp

    *Adapted from the original published by Instituto Superior Técnico