The student Javier de Muller Santa-María received the Prémio de Mérito Sky em Algoritmos para Lógica Computacional 2023/2024 Award in the amount of €1535, on April 23, 2024.