???global.info.a_carregar???
Miguel Ramos has received his Bachelor's (2019) and Master's (2021) degrees in Computer Science from the Faculty of Sciences of the University of Porto (FCUP). Currently, he is a PhD student in Computer Science at FCUP and his research work is focused on the use of quantitative types to characterize quantitative properties of functional programming languages. He is a researcher at the Artificial Intelligence and Computer Science Laboratory (LIACC) based at the Faculty of Engineering of the University of Porto and visiting researcher at the Institut de Recherche en Informatique Fondamentale (IRIF). His supervisors are Sandra Alves (FCUP/LIACC) and Delia Kesner (IRIF).
Read full resume ↓
Identification

Personal identification

Full name
Jorge Miguel Soares Ramos

Citation names

  • Ramos, Miguel

Author identifiers

Ciência ID
B71E-4A54-4BC8
ORCID iD
0000-0002-1211-4270

Websites

Knowledge fields

  • Exact Sciences - Computer and Information Sciences
  • Exact Sciences - Mathematics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2) Proficiency (C2)
French Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2021 - 2025
Ongoing
 Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
"Quantitative Types for Patterns" (THESIS/DISSERTATION)
2019 - 2021
Concluded
 Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Typed Languages for Events and their Applications" (THESIS/DISSERTATION)
 19
2018 - 2019
Concluded
 Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 18
2015 - 2018
Attended
 Engenharia de Redes e Sistemas Informáticos (Mestrado integrado)
Universidade do Porto Faculdade de Ciências, Portugal
 18
2011 - 2015
Attended
 Biologia (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
 14
Affiliation

Science

Category
Host institution 		Employer
2024/01 - Current Visiting Researcher (Research) Institut de Recherche en Informatique Fondamentale, France
Université Paris Cité, France
2021 - Current Researcher (Research) Fundação para a Ciência e a Tecnologia, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
(...)
2023/01 - 2023/06 Visiting Researcher (Research) Institut de Recherche en Informatique Fondamentale, France
Institut de Recherche en Informatique Fondamentale, France
2018/11 - 2019/03 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Universidade do Porto Faculdade de Ciências, Portugal
2016/11 - 2017/05 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal
Universidade do Porto Faculdade de Ciências, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2022/03/01 - 2023/02/28 Invited Assistant (University Teacher) Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Faculdade de Engenharia, Portugal
(...)

Others

Category
Host institution 		Employer
2017/10 - 2018/10 Software Engineer and Data Analyst Fyde PT, Portugal
Outputs

Publications

Conference abstract
  1. Ramos, Miguel. "Non-Idempotent Intersection Types for Global State". Paper presented in ITRS 2024 - 11th Workshop on Intersection Types and Related Systems, Tallinn, 2024.
    Accepted
  2. Ramos, Miguel; Riccardo Treglia; Delia Kesner. Corresponding author: Ramos, Miguel. "A Quantitative Understanding of Exceptions". Paper presented in 7th International Workshop on Trends in Linear Logic and Applications, Rome, 2023.
    Published
Conference paper
  1. Alves, Sandra; Delia Kesner; Ramos, Miguel. Corresponding author: Ramos, Miguel. "Extending the Quantitative Pattern-Matching Paradigm". Paper presented in The 22nd Asian Symposium on Programming Languages and Systems, Kyoto, 2024.
    Submitted
  2. Alves, Sandra; Delia Kesner; Ramos, Miguel. Corresponding author: Ramos, Miguel. "Quantitative Global Memory". Paper presented in 29th Workshop on Logic, Language, Information and Computation, Hallifax, 2023.
    Published
  3. Ramos, Miguel; Alves, Sandra. "An ML-style Record Calculus with Extensible Records". Paper presented in 37th Conference on the Mathematical Foundations of Programming Semantics, Salzburgo, 2021.
    Published • 10.4204/eptcs.351.1
  4. Alves, S; Fernandez, M; Ramos, M. "EVL: A Typed Higher-order Functional Language for Events". 2020.
    Published • 10.1016/j.entcs.2020.08.002
Journal article
  1. Alves, Sandra; Delia Kesner; Ramos, Miguel. Corresponding author: Ramos, Miguel. "A Quantitative Approach to Global State Composition". Mathematical Structures in Computer Science (2025):
    Submitted
  2. Jiménez-Mena, Belén; Flávio, Hugo; Henriques, Romina; Manuzzi, Alice; Ramos, Miguel; Meldrup, Dorte; Edson, Janette; et al. "Fishing for DNA? Designing baits for population genetics in target enrichment experiments: Guidelines, considerations and the new tool supeRbaits". Molecular Ecology Resources 22 5 (2022): 2105-2119. http://dx.doi.org/10.1111/1755-0998.13598.
    Published • 10.1111/1755-0998.13598
Thesis / Dissertation
  1. Ramos, Miguel. "Typed Languages for Events and their Applications". Master, Universidade do Porto Faculdade de Ciências, 2021. https://sigarra.up.pt/fcup/pt/pub_geral.show_file?pi_doc_id=311049.
Activities

Oral presentation

Presentation title Event name
Host (Event location)
2023/06/22 Quantitative CBV Global Memory La syntaxe rencontre la sémantique
Institut de Recherche en Informatique Fondamentale (Paris, France)
2022 Extending the Quantitative Pattern-Matching Paradigm 17th International Workshop on Logical and Semantic Frameworks with Applications
Universidade Federal de Minas Gerais (Belo Horizonte, Brazil)
2021/08/31 An ML-Style Record Calculus with Extensible Records 37th Conference on Mathematical Foundations of Programming Semantics
Paris Lodron University of Salzburg (Salzburgo, Austria)
2020/08/27 EVL: a typed higher-order functional anguage for events 15th International Workshop on Logical and Semantic Frameworks with Applications
Universidade Federal da Bahia (Bahia, Brazil)

Event organisation

Event name
Type of event (Role) 		Institution / Organization
2016/06/22 - 2016/06/26 Volunteer at the 1st FSCD - Formal Structures for Computation and Deduction (2016/06/22 - 2016/06/26)
Conference (Other)
 Universidade do Porto Departamento de Ciência de Computadores, Portugal

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2018/10/13 - 2018/10/13 Contestant at MIUP 2018 - Maratona Inter-Universitária de Programação
Other
 MIUP 2018 - Maratona Inter-Universitária de Programação
Universidade da Beira Interior Departamento de Informática, Portugal
2017/11/25 - 2017/11/26 Contestant at ACM ICPC SWERC 2017 - Southwestern Europe Regional Contest
Other
 ACM ICPC SWERC 2017 - Southwestern Europe Regional Contest
Télécom Paris Département Informatique et Réseaux, France
2017/10/07 - 2017/10/07 Contestant at MIUP 2017 - Maratona Inter-Universitária de Programação
Other
 MIUP 2017 - Maratona Inter-Universitária de Programação
Universidade do Minho Escola de Engenharia, Portugal
2016/11/05 - 2016/11/20 Contestant at ACM ICPC SWERC 2016 - Southwestern Europe Regional Contest
Other
 ACM ICPC SWERC 2016 - Southwestern Europe Regional Contest
Universidade do Porto Departamento de Ciência de Computadores, Portugal
2016/10/15 - 2016/10/15 Contestant at MIUP 2016 - Maratona Inter-Universitária de Programação
Other
 MIUP 2016 - Maratona Inter-Universitária de Programação
Universidade Nova de Lisboa Departamento de Informática, Portugal
Distinctions

Award

2017 Bronze Medalist at MIUP 2017 - Maratona Inter-Universitária de Programação
Universidade do Minho Escola de Engenharia, Portugal
2016 Bronze Medalist at MIUP 2016 - Maratona Inter-Universitária de Programação
Universidade Nova de Lisboa Departamento de Informática, Portugal

Other distinction

2017 Honorable Mention at ACM ICPC SWERC 2016 - Southwestern Europe Regional Contest
Télécom Paris Département Informatique et Réseaux, France