LASIGE’s member Vasco Vasconcelos spent his sabbatical in Japan as a guest at Kyoto University, where he was hosted by Professor Atsushi Igarashi. His visit was from November to December 2023. During his visit, the researcher engaged with various computer...
The paper “Parametric Subtyping for Structural Parametric Polymorphism” co-authored by LASIGE’s integrated researcher Andreia Mordido and recently presented at the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024) was...
Matilde Pós-de-Mina Pato, LASIGE’s researcher and PhD student, published the paper “Survey on Recommender Systems for Biomedical Items in Life and Health Sciences” in ACM Computing Surveys journal, a high-ranked journal in the field of Computer Science (h-index of...
LASIGE’s integrated researcher André Souto is co-author of the paper “Quantum Kolmogorov complexity and quantum correlations in deterministic-control quantum Turing machines” published in Quantum, a top-tier journal ranked in the top 10% of Scimago Journal...
Recursive types, generics, and subtyping are all essential features for modern programming languages, such as Go, Rust, TypeScript and Java. However, their combination is difficult to manage. The LASIGE researcher Andreia Mordido is part of the international team that...
Eduardo N. Castanho, LASIGE’s PhD student, published the paper “G-bic: generating synthetic benchmarks for biclustering”, in BMC Bioinformatics journal, a high-ranked journal in the field of bioinformatics (h-index of 231, Scimago Q1), in December 2023. The paper was...