Miguel Ramos

Hi! My name is Miguel Ramos, and I am a PhD student in Computer Science at DCC@FCUP and IRIF@UParis under the supervision of Sandra Alves and Delia Kesner. And our work mainly focuses on the use of non-idempotent intersection types to build resource aware semantics for different extensions of the λ-calculus.

Here is my dblp page, and here is some of my work:

Journal Papers

Submitted/Under Review

• Computer Science:

  • Sandra Alves, Delia Kesner, Miguel Ramos: A Quantitative Approach to Global State Composition [MSCS]

Published

• Bioinformatics:

  • Fishing for DNA? Designing baits for population genetics in target enrichment experiments: guidelines, considerations and the new tool supeRbaits [Molecular Ecology Resources 2022]

Conference Papers

Submitted/Under Review

• Sandra Alves, Delia Kesner, Miguel Ramos: Extending the Quantitative Pattern-Matching Paradigm [APLAS 2024]

Published

• Sandra Alves, Delia Kesner, Miguel Ramos: Quantitative Global Memory [WoLLIC 2023]
• Sandra Alves, Miguel Ramos: An ML-style record calculus with extensible records [MFPS 2021]
• Sandra Alves, Maribel Fernández, Miguel Ramos: EVL: A Typed Higher-Order Functional Language for Events [LSFA 2020]

Workshops Papers

• Miguel Ramos: Non-Idempotent Intersection Types for Global State [ITRS 2024]
• Miguel Ramos, Riccardo Treglia, Delia Kesner: Quantitative Understanding of Exceptions [TLLA 2023]
• Sandra Alves, Delia Kesner, Miguel Ramos: Extending the Quantitative Pattern-Matching Paradigm [LSFA 2021]

Presentations

• Quantitative Global Memory [WoLLIC 2023]
• A Quantitative Understanding of Exceptions [TLLA 2023]
• Quantitative CBV Global Memory [SMS@IRIF 2023]

MSc Thesis

• Supervised by Sandra Alves: Typed Languages for Events and their Applications [FCUP 2021]

Lately, I’ve also been working as a teaching assistant at FCUP and FEUP.

Teaching

• Theory of Computation

  • 2nd Semester 2021/2022

• Discrete Mathematics

  • 1st Semester 2022/2023