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:

Papers

• Computer Science:

  • 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]

• Bioinformatics:

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

Workshops

• 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 an teaching assistant at FCUP and FEUP.

Teaching

• Theory of Computation

  • 2nd Semester 2021/2022

• Discrete Mathematics

  • 1st Semester 2022/2023