Curriculum Vitae
Jorge Miguel Soares Ramos
Identificação
Identificação pessoal
- Nome completo
- Jorge Miguel Soares Ramos
Nomes de citação
- Ramos, Miguel
Identificadores de autor
- Ciência ID
- B71E-4A54-4BC8
- ORCID iD
- 0000-0002-1211-4270
Websites
- https://boilnkettle.github.io/ (Académico)
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação
- Ciências Exatas - Matemática
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Português (Idioma materno) | |||||
| Inglês | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) | Utilizador proficiente (C2) |
| Francês | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2021 - 2025
Em curso
|
Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
"Quantitative Types for Patterns" (TESE/DISSERTAÇÃO)
|
|
|
2019 - 2021
Concluído
|
Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Typed Languages for Events and their Applications" (TESE/DISSERTAÇÃO)
|
19 |
|
2018 - 2019
Concluído
|
Ciência de Computadores (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
|
18 |
|
2015 - 2018
Frequentou
|
Engenharia de Redes e Sistemas Informáticos (Mestrado integrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
18 |
|
2011 - 2015
Frequentou
|
Biologia (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
|
14 |
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2024/01 - Atual | Investigador visitante (Investigação) | Institut de Recherche en Informatique Fondamentale, França |
| Université Paris Cité, França | ||
| 2021 - Atual | Investigador (Investigação) | Fundação para a Ciência e a Tecnologia, Portugal |
| Universidade do Porto Faculdade de Ciências, Portugal (...) |
||
| 2023/01 - 2023/06 | Investigador visitante (Investigação) | Institut de Recherche en Informatique Fondamentale, França |
| Institut de Recherche en Informatique Fondamentale, França | ||
| 2018/11 - 2019/03 | Investigador (Investigação) | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal |
| Universidade do Porto Faculdade de Ciências, Portugal | ||
| 2016/11 - 2017/05 | Investigador (Investigação) | Instituto de Engenharia de Sistemas e Computadores Tecnologia e Ciência, Portugal |
| Universidade do Porto Faculdade de Ciências, Portugal |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2022/03/01 - 2023/02/28 | Assistente Convidado (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
| Universidade do Porto Faculdade de Engenharia, Portugal (...) |
Outros
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2017/10 - 2018/10 | Software Engineer and Data Analyst | Fyde PT, Portugal |
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Resumo em conferência |
|
| Tese / Dissertação |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2023/06/22 | Quantitative CBV Global Memory | La syntaxe rencontre la sémantique
Institut de Recherche en Informatique Fondamentale (Paris, França)
|
| 2022 | Extending the Quantitative Pattern-Matching Paradigm | 17th International Workshop on Logical and Semantic Frameworks with Applications
Universidade Federal de Minas Gerais (Belo Horizonte, Brasil)
|
| 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, Áustria)
|
| 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, Brasil)
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2016/06/22 - 2016/06/26 | Volunteer at the 1st FSCD - Formal Structures for Computation and Deduction (2016/06/22 - 2016/06/26)
Conferência (Outra)
|
Universidade do Porto Departamento de Ciência de Computadores, Portugal |
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2018/10/13 - 2018/10/13 | Contestant at MIUP 2018 - Maratona Inter-Universitária de Programação
Outro
|
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
Outro
|
ACM ICPC SWERC 2017 - Southwestern Europe Regional Contest
Télécom Paris Département Informatique et Réseaux, França
|
| 2017/10/07 - 2017/10/07 | Contestant at MIUP 2017 - Maratona Inter-Universitária de Programação
Outro
|
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
Outro
|
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
Outro
|
MIUP 2016 - Maratona Inter-Universitária de Programação
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
Distinções
Prémio
| 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
|
Outra distinção
| 2017 | Honorable Mention at ACM ICPC SWERC 2016 - Southwestern Europe Regional Contest
Télécom Paris Département Informatique et Réseaux, França
|