Identificação
Identificação pessoal
- Nome completo
- Rogério Ventura Lages dos Santos Reis
Nomes de citação
- Reis, Rogério
Identificadores de autor
- Ciência ID
- AB13-0F48-171C
- ORCID iD
- 0000-0001-9668-0917
- Google Scholar ID
- 8cgJRVUAAAAJ
- Researcher Id
- AAA-1098-2020
- Scopus Author Id
- 8427307500
Websites
- http://www.dcc.fc.up.pt/~rvr (Profissional)
Domínios de atuação
- Ciências Exatas - Matemática
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
- Ciências Exatas - Ciências da Computação e da Informação
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Francês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador independente (B1) | Utilizador proficiente (C1) | |
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Espanhol; Castelhano | Utilizador elementar (A1) | Utilizador proficiente (C1) | Utilizador elementar (A1) | Utilizador proficiente (C1) |
Formação
Grau | Classificação | |
---|---|---|
2007
Concluído
|
Ciência de Computadores (Doutoramento)
Especialização em Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Autómatos Finitos: Manipulação Geração e Contagem" (TESE/DISSERTAÇÃO)
|
|
1991
Concluído
|
Ciência de Computadores (Outros)
Instituto Nacional de Investigação Científica, Portugal
"Yap: Estrutura Interna" (TESE/DISSERTAÇÃO)
|
Muito Bom |
1979 - 1984
Concluído
|
Matemática Pura (Licenciatura)
Universidade do Porto, Portugal
|
13 |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
1992/12 - 1997/09 | Assistente de Investigação (carreira) (Investigação) | Universidade do Porto, Portugal |
1991/03 - 1992/11 | Assistente de Investigação (carreira) (Investigação) | Instituto Nacional de Investigação Científica, Portugal |
1988/09 - 1991/02 | Estagiário de Investigação (Investigação) | Instituto Nacional de Investigação Científica, Portugal |
1986/10 - 1987/03 | Investigador (Investigação) | Junta Nacional Investigação Científica e Tecnológica, Portugal |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2007/06 - Atual | Professor Auxiliar (Docente Universitário) | Universidade do Porto, Portugal |
Universidade do Porto Faculdade de Ciências, Portugal | ||
2016 - 2019 | Professor Auxiliar (Docente Universitário) | Universidade do Porto, Portugal |
2013 - 2016 | Professor Auxiliar (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
1997/10 - 2007/05 | Assistente (Docente Universitário) | Universidade do Porto, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
2010 - 2012 | CSI: Cryptographic Security of Individual Instancies
PTDC/EIA-CCO/099951/2008
Investigador
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Outro
Designação | Financiadores | |
---|---|---|
2010 - 2013 | CANTE: Complexidade descriptiva e computacional de linguagens formais
Investigador responsável
Universidade do Porto, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2006 - 2011 | RESCUE: Reliable and Safe Code Execution for Embedded Systems}
FCT/ PTDC/ EIA/ 65862/ 2006,
Investigador
Universidade do Porto, Portugal
|
Concluído
|
2006 - 2010 | ASA: Automata, Semigroups and Applications
PTDC/MAT/65481/2006
Investigador
Universidade do Porto, Portugal
|
Concluído
|
2006 - 2009 | Memórias do trabalho: processos de obtenção duma identidade operária
POCI/CED/60786/2004
Investigador
Universidade do Porto, Portugal
|
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Artigo em revista (magazine) |
|
Capítulo de livro |
|
Edição de livro |
|
Outros
Outra produção |
|
Atividades
Apresentação oral de trabalho
Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
---|---|---|
2023/07 | Size Matters but let’s have it on average | 25th DCFS
University of Potsdam (Potsdam, Alemanha)
|
2023 | Average complexity of partial derivatives for synchronised shuffle expressions. | 27th International Conference on Implementation and Applications of Automata, (CIAA23),
(Famagusta, Chipre)
|
2022 | Janusz Brzozoswski, an example and counter-example to follow | 24th DCFS
University of Debrecen (Debrecen, Hungria)
|
2020 | On the average state complexity of partial derivative transducers | SOFSEM 2020: Theory and Practice of Computer Science
(Limassol, Chipre)
|
2017 | On the average complexity of strong star normal form. | DCFS 2017
(Charlottetown)
|
2016 | On the state complexity of partial derivative automata for regular expressions with intersection. | DCFS 2016
(Bucharest, Roménia)
|
2016 | Generating error control codes with auto- mata and transducers. | Non-Classical Models of Automata and Applications (NCMA 2016)
(Debrecen, Hungria)
|
2012 | A functional implementation of rational languages equivalence, using bisimulation | Iberian Mathe- matical Meeting
University of Valladolid (Valladolid, Espanha)
|
2010 | On the average number of states of partial derivative automata. | DLT 2010
(London)
|
2008 | Exact generation of acyclic deterministic finite automata | Workshop on Descriptional Complexity of Formal Systems (DCFS08)
(Charlottetown, Canadá)
|
2007 | Exact generation of minimal acyclic deterministic finite automata | Workshop on Descriptional Complexity of Formal Systems (DCFS 2007)
(High Tatras, Eslováquia)
|
2005 | On the representation of finite automata | Workshop on Descriptional Complexity of Formal Systems (DCFS05)
(Como, Itália)
|
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2022 - 2022 | Fully Homomorphic Encryption
Coorientador
|
Mestrado em Engenharia Matemática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2021 - 2022 | A Simulated Annealing Approach to Cryptogram Classification
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2021 - 2021 | Portal de Validação de Documentos Assinados
Orientador
|
Masters in Computer Security (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Transducers and 2D Regular Expressions
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Significant Classes of NFA and their Random Generation
Orientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2017 - 2017 | Criptografia com Transdutores Lineares
Orientador
|
Mestrado em Segurança Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2016 | On the Descriptional Complexity of Some Operations and Simulations of Regular Models
Orientador
|
Ciência de Computadores (Doutoramento)
Universidade do Porto, Portugal
|
2011 - 2016 | Linear Finite Transducers Towards a Public Key Cryptographic System
Coorientador
|
Ciência de Computadores (Doutoramento)
Universidade do Porto, Portugal
|
2015 - 2015 | Manipulation of Extended Regular Expressions with Derivatives
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 - 2014 | Cellular Automata and Cryptography
Orientador
|
Mestrado em Ciência dos Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2013 - 2013 | DesCo: a Knowledge Based System for Descriptional Complexity of Formal Languages
Orientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2008 - 2011 | Equivalence of Regular Languages: An Algorithmic Approach and Complexity Analysis
Orientador
|
Ciência de Computadores (Doutoramento)
Universidade do Porto, Portugal
|
2010 - 2010 | Timing Analisys — From Predictions to certificates
Coorientador
|
Engenharia Informática (Mestrado)
Universidade da Beira Interior, Portugal
|
2010 - 2010 | An Interactive System for Automata Manipulations.
Coorientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2010 - 2010 | Inferência de tipos em Python
Orientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2010 - 2010 | Towards Automata Diagram Drawings
Orientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2009 - 2009 | Criptografia co curvas elípticas
Coorientador
|
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
|
2009 - 2009 | Infrastrutura de chaves públicas
Orientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2009 - 2009 | Crivo Quadrático
Orientador
|
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
|
2009 - 2009 | Protocolos de Dinheiro Electrónico
Orientador
|
Matemática (Mestrado)
Universidade do Porto, Portugal
|
2009 - 2009 | Obtenção de Autómatos não Determinísticos Pequenos e Minimais
Orientador
|
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
|
2008 - 2008 | Nosy: Um Simulador para Análise de Protocolos de Rede
Orientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2008 - 2008 | Votações Electrónicas e a Cifra de Paillier
Orientador
|
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
|
2008 - 2008 | Visualisação interactiva de autómatos finitos
Orientador
|
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
|
2008 - 2008 | Editor de Autómatos Finitos
Coorientador
|
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
|
2007 - 2007 | A criptanálise da Enigma: 1932-1939
Coorientador
|
Engenharia Matemática (Mestrado)
Universidade do Porto, Portugal
|
2007 - 2007 | Ferramentas Informáticas para a Construção, Indexação e Classificação de Documentos Informáticos
Coorientador
|
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
|
2007 - 2007 | Desenvolvimento de tecnologias XML para a indexação e pesquisa em documentos}
Coorientador
|
Ciência de Computadores (Curso de aperfeiçoamento / especialização)
Universidade do Porto, Portugal
|
2007 - 2007 | Analisador Sintáctico GLR para o Yappy
Coorientador
|
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
|
2007 - 2007 | Programa de detecção de plágios em textos de programas
Orientador
|
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
|
2006 - 2006 | Ferramentas para Determinação e Avaliação de Soluções em Problemas de Horários
Coorientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2005 - 2005 | Métodos de conversão de autómatos finitos em expressões regulares pequenas
Orientador
|
Ciência de Computadores (Curso de aperfeiçoamento / especialização)
Universidade do Porto, Portugal
|
2005 - 2005 | Sistemas dedutivos para lógicas de descrição
Coorientador
|
Ciência de Computadores (Iniciação científica)
Universidade do Porto, Portugal
|
2005 - 2005 | AGISA - Ambiente de Gestão Integrado da Sala de Aula
Orientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2005 - 2005 | Interface gráfico para a edição e a visualização de autómatos finitos
Orientador
|
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
|
2004 - 2004 | {Obtenção de expressões regulares pequenas a partir de autómatos finitos
Coorientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
2004 - 2004 | Automatic: editor de diagramas de autómatos finitos
Coorientador
|
Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto, Portugal
|
1999 - 1999 | Um sistema de "mirroring" de FTP e HTTP que optimiza recursos usando uma estratégia de avaliação retardada
Coorientador
|
Ciência de Computadores (Mestrado)
Universidade do Porto, Portugal
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2021 - 2021 | 25th International Conference on Developments in Language Theory (DLT 2021), Porto, Portugal. (2021 - 2021)
Conferência (Presidente da Comissão Organizadora)
|
Universidade do Porto Faculdade de Ciências, Portugal |
2015 - 2015 | Co-chair of program and organizing committe of NCMA 2015 (2015 - 2015)
Conferência (Presidente da Comissão Organizadora)
|
|
2013 - 2013 | Co-chair of the program committee of DCFS 2013 (2013 - 2013)
Conferência (Membro da Comissão Científica)
|
|
2012 - 2012 | Co-chair of the programme and organizing commitee of CIAA 2012 (2012 - 2012)
Conferência (Presidente da Comissão Organizadora)
|
|
2012 - 2012 | Co-chair of the program and organizing committee of DCFs 2012 (2012 - 2012)
Conferência (Presidente da Comissão Organizadora)
|
Participação em evento
Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
---|---|---|
2023 - 2023 | Oral presentation
Conferência
|
25th International Conference on Descriptional Complexity of Formal Systems (DCFS23) |
2023 - 2023 | participation
Oficina (workshop)
|
12th Workshop on Non-Classical Models of Automata and Applications (NCMA23), |
2023 - 2023 | Oral presentation
Conferência
|
27th International Conference on Implementation and Applications of Automata, (CIAA23), |
2022 - 2022 | Oral presentation
Oficina (workshop)
|
12th Workshop on Non-Classical Models of Automata and Applications (NCMA22), |
2022 - 2022 | Oral presentation
Conferência
|
24th International Conference on Descriptional Complexity of Formal Systems (DCFS22) |
2020 - 2020 | 6th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2020), Limassol, Cyprus,
20–24/01/20.
Conferência
|
|
2020 - 2020 | Award of Internet society
Oficina (workshop)
|
Applied Network Research Prize & Workshop |
2019 - 2019 | RPLA 2019 – Reversibility in Programming, Languages, and Automata, Porto, Portugal, 9/10/2019.
Oficina (workshop)
|
|
2019 - 2019 | 24th International Conference on Implementation and Applications of Automata, (CIAA19), Košice, Slovakia, 22–25/08/19.
Conferência
|
|
2019 - 2019 | 21st International Conference on Descriptional Complexity of Formal Systems (DCFS19), Košice, Slovakia, 17–19/08/19.
Conferência
|
|
2018 - 2018 | 20th International Conference on Descriptional Complexity of Formal Systems (DCFS18), Halifax, Nova Scotia, Canada, 25–27/7/2018
Conferência
|
|
2018 - 2018 |
22nd Conference on Developments in Language Theory (DLT2018), Tokyo, Japan, 10–14/09/2018.
Conferência
|
|
2018 - 2018 | 23rd International Conference on Implementation and Applications of Automata, (CIAA18), Charlottetown, Prince Edward Island, Canada , 30/7/2018–2/8/2018 | |
2017 - 2017 | Dagstuhl Seminar 17142: Formal Methods of Transformations, Dagstuhl, Germany, 2–5/4/2017.
Seminário
|
|
2017 - 2017 | 19th International Conference on Descriptional Complexity of Formal Systems (DCFS17), Milano, Italy, 3–5/7/2017.
Conferência
|
|
2016 - 2016 | 18th International Conference on Descriptional Complexity of Formal Systems (DCFS16), Bucharest, Romania, 5–8/7/2016.
Conferência
|
|
2016 - 2016 | 8th Workshop on Non-Classical Models of Automata and Applications (NCMA16), Debrecen, Hungary, 29–30/8/2016.
Conferência
|
|
2015 - 2015 | 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOF- SEM2015), Czech Republic,
24–29/01/2015.
Conferência
|
|
2015 - 2015 | AutoMatA 2015, Jewels of Automata: from Mathematics to Applications, Leipzig, Germany, 06– 09/05/2015.
Encontro
|
|
2015 - 2015 | AMS/EMS/SPM International Meeting, Porto, Portugal, 10–13/06/2015.
Congresso
|
|
2015 - 2015 | Brzozowski 80, The Role of Theory in Computer Science, Waterloo, Ontario, Canada - June 24 2015
Conferência
|
|
2015 - 2015 | 17th Workshop on Descriptional Complexity of Formal Systems (DCFS15), Waterloo, Ontario, Canada, 25–27/06/2015.
Conferência
|
|
2014 - 2014 | 6th Workshop on Non-Classical Models of Automata and Applications (NCMA 2014), Kassel, Germany, 28–29/07/2014. | |
2014 - 2014 | 19th International Conference on Implementation and Applications of Automata, (CIAA14), Giessen, Germany, 30/7/2014–2/8/2014.
Conferência
|
|
2014 - 2014 | 16th Workshop on Descriptional Complexity of Formal Systems (DCFS14), Turku, Finland, 05– 08/08/2014.
Conferência
|
|
2013 - 2013 | 18th International Conference on Implementation and Application of Automata
Conferência
|
18th International Conference on Implementation and Application of Automata |
2013 - 2013 | 15th Workshop on Descriptional Complexity of Formal Systems
Conferência
|
15th Workshop on Descriptional Complexity of Formal Systems |
2013 - 2013 | Non-Classical Models of Automata and Applications
Conferência
|
Non-Classical Models of Automata and Applications |
2012 - 2012 | 17th International Conference on Implementation and Application of Automata
Conferência
|
17th International Conference on Implementation and Application of Automata |
2012 - 2012 | 14th International Workshop on Descriptional Complexity of Formal Languages
Oficina (workshop)
|
14th International Workshop on Descriptional Complexity of Formal Languages |
2012 - 2012 | IV Iberian Mathematical Meeting
Congresso
|
IV Iberian Mathematical Meeting
Real Sociedad Matemática Española and the Sociedade Portuguesa de Matemática, Espanha
|
2011 - 2011 | 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS)
Oficina (workshop)
|
13th International Workshop on Descriptional Complexity of Formal Systems (DCFS) |
2011 - 2011 | 16th International Conference on Implementation and Application of Automata
Conferência
|
16th International Conference on Implementation and Application of Automata |
2010 - 2010 | 15th International Conference on Implementation and Application of Automata
Conferência
|
15th International Conference on Implementation and Application of Automata |
2009 - 2009 | 11th Workshop on Descriptional Complexity of Formal Systems (DCFS09)
Oficina (workshop)
|
|
2008 - 2008 | Thirteenth International Conference on Implementation and Application of Automata
Conferência
|
Thirteenth International Conference on Implementation and Application of Automata |
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2020 | OCaml-Flat-An OCaml Toolkit for experimenting with formal languages theory
Arguente principal
|
João Miguel Gago Gonçalves (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2019 | Property-based testing of a financial market platform
Presidente do júri
|
Pedro Fernandes dos Santos Maos Godinho (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2019 | Control-Flow Integrity for the Linux kernel: A security evaluation
Presidente do júri
|
Federico Manuel Bento (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 | Authentication modules for Keycloak authentication server | Daicy Patricia Duarte Paiva (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 | Security Analysis of Closed-Source Signal Protocol Implementation
Presidente do júri
|
João Diogo Gaspar Alves (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 | Computação colaborativa segura num cenário de gestão de risco financeiro
Presidente do júri
|
Tiago André Ferreira Fernandes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2016 | Computation of equilibria on integer programming games
Vogal
|
Maria Margarida da Silva Carvalho (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Business Intelligence na Saúde – um caso de estudo na ARS Norte
Presidente do júri
|
David Pereira Gonçalves (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Multiple Kernel Learning for Breast Cancer Classification
Presidente do júri
|
Gustavo Barbosa Augusto (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Liquid Intersection Types
Presidente do júri
|
Mário José Parreira Pereira (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Heart Sound Segmentation: A Stationary Wavelet Transform Based
Approach
Presidente do júri
|
Nuno Miguel Santos Marques (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2013 | Multi-Topic Sentiment Analysis
Presidente do júri
|
Pedro Samuel Amaro Coelho (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2013 | A Monotone Modal Logic for Algorithmic Statistics
Presidente do júri
|
Francisco Abreu Faro Mota, (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 | Implementação de funções de hash e cifras de chave pública baseadas em retículos | José Miguel Gomes Loureiro (Mestrado)
Universidade do Minho, Portugal
|
2012 | Application and implementation of transducer tools in answering cenrtain questions about regular languages | Meng Yang (Mestrado)
Saint Mary’s University, Canadá
|
2012 | Declarative Domain-Specific Languages and Applications to Network Monitoring | Pedro Dinis Loureiro Salgueiro (Doutoramento)
Universidade de Évora, Portugal
|
2012 | Bin packing and related problems - pattern-based approaches'
Presidente do júri
|
Filipe Daniel Alves Brandão (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2011 | An Integrated Development Environment for the Callas Programming
Language
Presidente do júri
|
Jorge Filipe Ferreira Torres (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2010 | Utilização de Dispositivos Criptográficos Portáteis em Sistema de Votação Electrónica | Martinho Rodrigues Monteiro (Mestrado)
Universidade da Beira Interior, Portugal
|
2010 | Localização e seguimento em redes de sensores
sem fios INOVAMAIS, serviços de consultadoria em Inovação Tecnológica, S.A
Presidente do júri
|
Ricardo José dos Santos Reis Pinto da Silva (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 | Tactim: From pattern recognition to the security for Biometry | Stéphane Cauchie (Doutoramento)
Université de Tours, França
|
2009 | Escalonamento em Ambiente Grid utilizando o Middleware gLite
Presidente do júri
|
Odair José Neves Tavares (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2008 | Applications of Kolmogorov Complexity to Cryptography | Alexandre Jorge Teixeira Miranda Pinto, (Doutoramento)
Universidade do Porto, Portugal
|
2007 | A SPARQL Query Engine over Web Ontologies using Contextual Logic Programming | Nuno Alexandre de Jesus Lopes (Mestrado)
Universidade de Évora, Portugal
|
Arbitragem científica em conferência
Nome da conferência | Local da conferência | |
---|---|---|
2023 - 2023 | 27th International Conference on Implementation and Applications of Automata, (CIAA 2023) | Famagusta, Cyprus |
2022 - 2022 | 23th International Conference on Descriptional Complexity of Formal Systems (DCFS 2021), Seoul, South Korea | Seoul, South Korea |
2022 - 2022 | 12th Workshop on Non-Classical Models of Automata and Applications (NCMA 2022) | Debrecen , Hungary |
2022 - 2022 | 26th International Conference on Implementation and Applications of Automata, (CIAA 2022), Rouen, France. | Rouen, France |
2020 - 2020 | 12th Workshop on Non-Classical Models of Automata and Applications (NCMA 2020), | Wien, Austria |
Comissão de avaliação
Descrição da atividade Tipo de assessoria |
Instituição / Organização | Entidade financiadora | |
---|---|---|---|
2023 - 2023 | NSERC Discovery Grant
Avaliador
|
National Research Council Canada |
Membro de associação
Nome da associação | Tipo de participação | |
---|---|---|
2023 - Atual | Chair of Working group 1.2 on Descriptional Complexity of IFIP | Chair |
2017 - Atual | ISOC.PT -Internet Society Portugal | Member of Directory Board 2019-2021 |
2011 - Atual | Centro de Matemáttica da Universidade do Porto | Member |
Atual | Sociedade Portuguesa de Matemática | |
Atual | American Mathematical Society | |
2021 - 2023 | Centro de Matemática da Universidade do Porto (CMUP) | Principal researcher of group "Semigroups, Automata and Languages" |
2014 - 2016 | Centro de Matemática da Universidade do Porto | Chair of Semigroups, Automata and Languages line |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2024 - Atual | Chair of the DCFS (Descriptional Complexity of Formal Systems) Steering Committee
Coordenador
|
|
2017 - Atual | Vice-chair of IFIP (International Federation for Information Processing )Working Group 1.2 on Descriptional Complexity
http://www.informatik.uni-giessen.de/ifipwg1.
Coordenador
|
|
2014 - Atual | Member of “Steering Committee” of DCFS (Descriptional Complexity of Formal Systems)
Membro
|
|
2020 - 2020 | Member of the Programme Committee of 2nd International Congress on Blockchain and Applications, L’Aquila (Italy), 17th-19th
June, 2020
Membro
|
|
2019 - 2019 | Member of the Programme Committee of 1st International Congress on Blockchain and Applications (BLOCKCHAIN19), Ávila, España.
Membro
|
|
2019 - 2019 | Member of the Programme Committee of Workshop in Reversibility in Programming, Languages, and Automata (RPLA 2019), part
of 3rd World Congress FM 19, 6-11/10/2019 Porto, Portugal
Membro
|
|
2019 - 2019 | Member of the Programme Committee of 24th International Conference on Implementation and Applications of Automata, (CIAA
2019), Košice, Slovalkia.
Membro
|
|
2018 - 2018 | Member of the Programme Committee of 9th International Conference on Ambient Intelligence, Toledo, Spain, 20-22 Junho de
2018.
Membro
|
|
2018 - 2018 | Member of the Programme Committee of 23th International Conference on Implementation and Appli- cations of Automata, (CIAA
2018), CharlotteTown, Prince Edward Island, Canada.
Membro
|
|
2017 - 2017 | Member of the Programme Committee of 8th International Conference on Ambient Intelligence,Porto, Portugal, May 8-11, 2017.
Membro
|
|
2017 - 2017 | Member of the Programme Committee of 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017),
Milano, Italy.
Membro
|
|
2016 - 2016 | Member of the Programme Committee of 8th Workshop on Non-Classical Models of Automata and Applications (NCMA 2016), 29-30
August, 2016, Debrecen, Hungary.
Membro
|
|
2016 - 2016 | Member of the Programme Committee of 21th International Conference on Implementation and Applications of Automata, (CIAA
2016), Seul, South Korea.
Membro
|
|
2015 - 2015 | Member of the Programme Committee of 20th International Conference on Implementation and Applications of Automata, (CIAA
2015), Umea, Sweden.
Membro
|
|
2013 - 2013 | Member of Programme Committee of the 16th International Conference on Implementation and Applications of Automata, (CIAA
2013), Halifax, New Scotland, Canada.
Membro
|
|
2013 - 2013 | Member of the Programme Committee of 5th International Workshop “Non-Classical Models of Auto- mata and Applications”, (NCMA
2013), Umea, Sweden.
Membro
|
|
2011 - 2011 | Member of programme committee of DCFS 2011
Membro
|
|
2010 - 2010 | Member of the programme committee of CIAA 2010
Membro
|
|
2010 - 2010 | Member of Programme Committee of CIAA 2010
Membro
|
Distinções
Prémio
2020 | Best Paper Award SOFSEM 2020 |