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 (Full) [Submitted: 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]

Talks

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

Msc Thesis

• Miguel Ramos (supervised by Sandra Alves): Typed Languages for Events and their Applications. [FCUP 2021]

Lately, I’ve also been working as an invited teacher at FCUP and FEUP.

Teaching

• Theory of Computation
  • 2nd Semester 2021/2022
• Discrete Mathematics
  • 1st Semester 2022/2023