Identification
Personal identification
- Full name
- Rogério Ventura Lages dos Santos Reis
Citation names
- Reis, Rogério
Author identifiers
- 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 (Professional)
Knowledge fields
- Exact Sciences - Mathematics
- Exact Sciences - Computer and Information Sciences - Computer Sciences
- Exact Sciences - Computer and Information Sciences
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
Portuguese | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
French | Advanced (C1) | Advanced (C1) | Intermediate (B1) | Advanced (C1) | |
English | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
Spanish; Castilian | Beginner (A1) | Advanced (C1) | Beginner (A1) | Advanced (C1) |
Education
Degree | Classification | |
---|---|---|
2007
Concluded
|
Ciência de Computadores (Doutoramento)
Major in Sem especialidade
Universidade do Porto Faculdade de Ciências, Portugal
"Autómatos Finitos: Manipulação Geração e Contagem" (THESIS/DISSERTATION)
|
|
1991
Concluded
|
Ciência de Computadores (Outros)
Instituto Nacional de Investigação Científica, Portugal
"Yap: Estrutura Interna" (THESIS/DISSERTATION)
|
Muito Bom |
1979 - 1984
Concluded
|
Matemática Pura (Licenciatura)
Universidade do Porto, Portugal
|
13 |
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
1992/12 - 1997/09 | Research Assistant (Research) | Universidade do Porto, Portugal |
1991/03 - 1992/11 | Research Assistant (Research) | Instituto Nacional de Investigação Científica, Portugal |
1988/09 - 1991/02 | Research Trainee (Research) | Instituto Nacional de Investigação Científica, Portugal |
1986/10 - 1987/03 | Researcher (Research) | Junta Nacional Investigação Científica e Tecnológica, Portugal |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2007/06 - Current | Assistant Professor (University Teacher) | Universidade do Porto, Portugal |
Universidade do Porto Faculdade de Ciências, Portugal | ||
2016 - 2019 | Assistant Professor (University Teacher) | Universidade do Porto, Portugal |
2013 - 2016 | Assistant Professor (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
1997/10 - 2007/05 | Assistant (University Teacher) | Universidade do Porto, Portugal |
Projects
Contract
Designation | Funders | |
---|---|---|
2010 - 2012 | CSI: Cryptographic Security of Individual Instancies
PTDC/EIA-CCO/099951/2008
Researcher
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluded
|
Other
Designation | Funders | |
---|---|---|
2010 - 2013 | CANTE: Complexidade descriptiva e computacional de linguagens formais
Principal investigator
Universidade do Porto, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluded
|
2006 - 2011 | RESCUE: Reliable and Safe Code Execution for Embedded Systems}
FCT/ PTDC/ EIA/ 65862/ 2006,
Researcher
Universidade do Porto, Portugal
|
Concluded
|
2006 - 2010 | ASA: Automata, Semigroups and Applications
PTDC/MAT/65481/2006
Researcher
Universidade do Porto, Portugal
|
Concluded
|
2006 - 2009 | Memórias do trabalho: processos de obtenção duma identidade operária
POCI/CED/60786/2004
Researcher
Universidade do Porto, Portugal
|
Concluded
|
Outputs
Publications
Book chapter |
|
Conference paper |
|
Edited book |
|
Journal article |
|
Magazine article |
|
Other
Other output |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
2023/07 | Size Matters but let’s have it on average | 25th DCFS
University of Potsdam (Potsdam, Germany)
|
2023 | Average complexity of partial derivatives for synchronised shuffle expressions. | 27th International Conference on Implementation and Applications of Automata, (CIAA23),
(Famagusta, Cyprus)
|
2022 | Janusz Brzozoswski, an example and counter-example to follow | 24th DCFS
University of Debrecen (Debrecen, Hungary)
|
2020 | On the average state complexity of partial derivative transducers | SOFSEM 2020: Theory and Practice of Computer Science
(Limassol, Cyprus)
|
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, Romania)
|
2016 | Generating error control codes with auto- mata and transducers. | Non-Classical Models of Automata and Applications (NCMA 2016)
(Debrecen, Hungary)
|
2012 | A functional implementation of rational languages equivalence, using bisimulation | Iberian Mathe- matical Meeting
University of Valladolid (Valladolid, Spain)
|
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, Canada)
|
2007 | Exact generation of minimal acyclic deterministic finite automata | Workshop on Descriptional Complexity of Formal Systems (DCFS 2007)
(High Tatras, Slovakia)
|
2005 | On the representation of finite automata | Workshop on Descriptional Complexity of Formal Systems (DCFS05)
(Como, Italy)
|
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2022 - 2022 | Fully Homomorphic Encryption
Co-supervisor
|
Mestrado em Engenharia Matemática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2021 - 2022 | A Simulated Annealing Approach to Cryptogram Classification
Co-supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2021 - 2021 | Portal de Validação de Documentos Assinados
Supervisor
|
Masters in Computer Security (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Transducers and 2D Regular Expressions
Co-supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Significant Classes of NFA and their Random Generation
Supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2017 - 2017 | Criptografia com Transdutores Lineares
Supervisor
|
Mestrado em Segurança Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2016 | On the Descriptional Complexity of Some Operations and Simulations of Regular Models
Supervisor
|
Ciência de Computadores (PhD)
Universidade do Porto, Portugal
|
2011 - 2016 | Linear Finite Transducers Towards a Public Key Cryptographic System
Co-supervisor
|
Ciência de Computadores (PhD)
Universidade do Porto, Portugal
|
2015 - 2015 | Manipulation of Extended Regular Expressions with Derivatives
Co-supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 - 2014 | Cellular Automata and Cryptography
Supervisor
|
Mestrado em Ciência dos Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2013 - 2013 | DesCo: a Knowledge Based System for Descriptional Complexity of Formal Languages
Supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2008 - 2011 | Equivalence of Regular Languages: An Algorithmic Approach and Complexity Analysis
Supervisor
|
Ciência de Computadores (PhD)
Universidade do Porto, Portugal
|
2010 - 2010 | Timing Analisys — From Predictions to certificates
Co-supervisor
|
Engenharia Informática (Master)
Universidade da Beira Interior, Portugal
|
2010 - 2010 | An Interactive System for Automata Manipulations.
Co-supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2010 - 2010 | Inferência de tipos em Python
Supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2010 - 2010 | Towards Automata Diagram Drawings
Supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2009 - 2009 | Criptografia co curvas elípticas
Co-supervisor
|
Engenharia Matemática (Master)
Universidade do Porto, Portugal
|
2009 - 2009 | Infrastrutura de chaves públicas
Supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2009 - 2009 | Crivo Quadrático
Supervisor
|
Engenharia Matemática (Master)
Universidade do Porto, Portugal
|
2009 - 2009 | Protocolos de Dinheiro Electrónico
Supervisor
|
Matemática (Master)
Universidade do Porto, Portugal
|
2009 - 2009 | Obtenção de Autómatos não Determinísticos Pequenos e Minimais
Supervisor
|
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
|
2008 - 2008 | Nosy: Um Simulador para Análise de Protocolos de Rede
Supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2008 - 2008 | Votações Electrónicas e a Cifra de Paillier
Supervisor
|
Engenharia Matemática (Master)
Universidade do Porto, Portugal
|
2008 - 2008 | Visualisação interactiva de autómatos finitos
Supervisor
|
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
|
2008 - 2008 | Editor de Autómatos Finitos
Co-supervisor
|
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
|
2007 - 2007 | A criptanálise da Enigma: 1932-1939
Co-supervisor
|
Engenharia Matemática (Master)
Universidade do Porto, Portugal
|
2007 - 2007 | Ferramentas Informáticas para a Construção, Indexação e Classificação de Documentos Informáticos
Co-supervisor
|
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
|
2007 - 2007 | Desenvolvimento de tecnologias XML para a indexação e pesquisa em documentos}
Co-supervisor
|
Ciência de Computadores (Specialization course)
Universidade do Porto, Portugal
|
2007 - 2007 | Analisador Sintáctico GLR para o Yappy
Co-supervisor
|
Ciência de Computadores (Degree)
Universidade do Porto, Portugal
|
2007 - 2007 | Programa de detecção de plágios em textos de programas
Supervisor
|
Ciência de Computadores (Degree)
Universidade do Porto, Portugal
|
2006 - 2006 | Ferramentas para Determinação e Avaliação de Soluções em Problemas de Horários
Co-supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2005 - 2005 | Métodos de conversão de autómatos finitos em expressões regulares pequenas
Supervisor
|
Ciência de Computadores (Specialization course)
Universidade do Porto, Portugal
|
2005 - 2005 | Sistemas dedutivos para lógicas de descrição
Co-supervisor
|
Ciência de Computadores (Scientific initiation)
Universidade do Porto, Portugal
|
2005 - 2005 | AGISA - Ambiente de Gestão Integrado da Sala de Aula
Supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2005 - 2005 | Interface gráfico para a edição e a visualização de autómatos finitos
Supervisor
|
Ciência de Computadores (Degree)
Universidade do Porto, Portugal
|
2004 - 2004 | {Obtenção de expressões regulares pequenas a partir de autómatos finitos
Co-supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
2004 - 2004 | Automatic: editor de diagramas de autómatos finitos
Co-supervisor
|
Ciência de Computadores (Degree)
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
Co-supervisor
|
Ciência de Computadores (Master)
Universidade do Porto, Portugal
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
2021 - 2021 | 25th International Conference on Developments in Language Theory (DLT 2021), Porto, Portugal. (2021 - 2021)
Conference (President of the Organising Committee)
|
Universidade do Porto Faculdade de Ciências, Portugal |
2015 - 2015 | Co-chair of program and organizing committe of NCMA 2015 (2015 - 2015)
Conference (President of the Organising Committee)
|
|
2013 - 2013 | Co-chair of the program committee of DCFS 2013 (2013 - 2013)
Conference (Member of the Scientific Committee)
|
|
2012 - 2012 | Co-chair of the programme and organizing commitee of CIAA 2012 (2012 - 2012)
Conference (President of the Organising Committee)
|
|
2012 - 2012 | Co-chair of the program and organizing committee of DCFs 2012 (2012 - 2012)
Conference (President of the Organising Committee)
|
Event participation
Activity description Type of event |
Event name Institution / Organization |
|
---|---|---|
2023 - 2023 | Oral presentation
Conference
|
25th International Conference on Descriptional Complexity of Formal Systems (DCFS23) |
2023 - 2023 | participation
Workshop
|
12th Workshop on Non-Classical Models of Automata and Applications (NCMA23), |
2023 - 2023 | Oral presentation
Conference
|
27th International Conference on Implementation and Applications of Automata, (CIAA23), |
2022 - 2022 | Oral presentation
Workshop
|
12th Workshop on Non-Classical Models of Automata and Applications (NCMA22), |
2022 - 2022 | Oral presentation
Conference
|
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.
Conference
|
|
2020 - 2020 | Award of Internet society
Workshop
|
Applied Network Research Prize & Workshop |
2019 - 2019 | RPLA 2019 – Reversibility in Programming, Languages, and Automata, Porto, Portugal, 9/10/2019.
Workshop
|
|
2019 - 2019 | 24th International Conference on Implementation and Applications of Automata, (CIAA19), Košice, Slovakia, 22–25/08/19.
Conference
|
|
2019 - 2019 | 21st International Conference on Descriptional Complexity of Formal Systems (DCFS19), Košice, Slovakia, 17–19/08/19.
Conference
|
|
2018 - 2018 | 20th International Conference on Descriptional Complexity of Formal Systems (DCFS18), Halifax, Nova Scotia, Canada, 25–27/7/2018
Conference
|
|
2018 - 2018 |
22nd Conference on Developments in Language Theory (DLT2018), Tokyo, Japan, 10–14/09/2018.
Conference
|
|
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.
Seminar
|
|
2017 - 2017 | 19th International Conference on Descriptional Complexity of Formal Systems (DCFS17), Milano, Italy, 3–5/7/2017.
Conference
|
|
2016 - 2016 | 18th International Conference on Descriptional Complexity of Formal Systems (DCFS16), Bucharest, Romania, 5–8/7/2016.
Conference
|
|
2016 - 2016 | 8th Workshop on Non-Classical Models of Automata and Applications (NCMA16), Debrecen, Hungary, 29–30/8/2016.
Conference
|
|
2015 - 2015 | 41st International Conference on Current Trends in Theory and Practice of Computer Science (SOF- SEM2015), Czech Republic,
24–29/01/2015.
Conference
|
|
2015 - 2015 | AutoMatA 2015, Jewels of Automata: from Mathematics to Applications, Leipzig, Germany, 06– 09/05/2015.
Meeting
|
|
2015 - 2015 | AMS/EMS/SPM International Meeting, Porto, Portugal, 10–13/06/2015.
Congress
|
|
2015 - 2015 | Brzozowski 80, The Role of Theory in Computer Science, Waterloo, Ontario, Canada - June 24 2015
Conference
|
|
2015 - 2015 | 17th Workshop on Descriptional Complexity of Formal Systems (DCFS15), Waterloo, Ontario, Canada, 25–27/06/2015.
Conference
|
|
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.
Conference
|
|
2014 - 2014 | 16th Workshop on Descriptional Complexity of Formal Systems (DCFS14), Turku, Finland, 05– 08/08/2014.
Conference
|
|
2013 - 2013 | 18th International Conference on Implementation and Application of Automata
Conference
|
18th International Conference on Implementation and Application of Automata |
2013 - 2013 | 15th Workshop on Descriptional Complexity of Formal Systems
Conference
|
15th Workshop on Descriptional Complexity of Formal Systems |
2013 - 2013 | Non-Classical Models of Automata and Applications
Conference
|
Non-Classical Models of Automata and Applications |
2012 - 2012 | 17th International Conference on Implementation and Application of Automata
Conference
|
17th International Conference on Implementation and Application of Automata |
2012 - 2012 | 14th International Workshop on Descriptional Complexity of Formal Languages
Workshop
|
14th International Workshop on Descriptional Complexity of Formal Languages |
2012 - 2012 | IV Iberian Mathematical Meeting
Congress
|
IV Iberian Mathematical Meeting
Real Sociedad Matemática Española and the Sociedade Portuguesa de Matemática, Spain
|
2011 - 2011 | 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS)
Workshop
|
13th International Workshop on Descriptional Complexity of Formal Systems (DCFS) |
2011 - 2011 | 16th International Conference on Implementation and Application of Automata
Conference
|
16th International Conference on Implementation and Application of Automata |
2010 - 2010 | 15th International Conference on Implementation and Application of Automata
Conference
|
15th International Conference on Implementation and Application of Automata |
2009 - 2009 | 11th Workshop on Descriptional Complexity of Formal Systems (DCFS09)
Workshop
|
|
2008 - 2008 | Thirteenth International Conference on Implementation and Application of Automata
Conference
|
Thirteenth International Conference on Implementation and Application of Automata |
Jury of academic degree
Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
---|---|---|
2020 | OCaml-Flat-An OCaml Toolkit for experimenting with formal languages theory
(Thesis) Main arguer
|
João Miguel Gago Gonçalves (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2019 | Property-based testing of a financial market platform
President of the jury
|
Pedro Fernandes dos Santos Maos Godinho (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2019 | Control-Flow Integrity for the Linux kernel: A security evaluation
President of the jury
|
Federico Manuel Bento (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 | Authentication modules for Keycloak authentication server | Daicy Patricia Duarte Paiva (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 | Security Analysis of Closed-Source Signal Protocol Implementation
President of the jury
|
João Diogo Gaspar Alves (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 | Computação colaborativa segura num cenário de gestão de risco financeiro
President of the jury
|
Tiago André Ferreira Fernandes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2016 | Computation of equilibria on integer programming games
Thesis Member
|
Maria Margarida da Silva Carvalho (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Business Intelligence na Saúde – um caso de estudo na ARS Norte
President of the jury
|
David Pereira Gonçalves (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Multiple Kernel Learning for Breast Cancer Classification
President of the jury
|
Gustavo Barbosa Augusto (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Liquid Intersection Types
President of the jury
|
Mário José Parreira Pereira (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Heart Sound Segmentation: A Stationary Wavelet Transform Based
Approach
President of the jury
|
Nuno Miguel Santos Marques (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2013 | Multi-Topic Sentiment Analysis
President of the jury
|
Pedro Samuel Amaro Coelho (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2013 | A Monotone Modal Logic for Algorithmic Statistics
President of the jury
|
Francisco Abreu Faro Mota, (Master)
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 (Master)
Universidade do Minho, Portugal
|
2012 | Application and implementation of transducer tools in answering cenrtain questions about regular languages | Meng Yang (Master)
Saint Mary’s University, Canada
|
2012 | Declarative Domain-Specific Languages and Applications to Network Monitoring | Pedro Dinis Loureiro Salgueiro (PhD)
Universidade de Évora, Portugal
|
2012 | Bin packing and related problems - pattern-based approaches'
President of the jury
|
Filipe Daniel Alves Brandão (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2011 | An Integrated Development Environment for the Callas Programming
Language
President of the jury
|
Jorge Filipe Ferreira Torres (Master)
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 (Master)
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
President of the jury
|
Ricardo José dos Santos Reis Pinto da Silva (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 | Tactim: From pattern recognition to the security for Biometry | Stéphane Cauchie (PhD)
Université de Tours, France
|
2009 | Escalonamento em Ambiente Grid utilizando o Middleware gLite
President of the jury
|
Odair José Neves Tavares (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2008 | Applications of Kolmogorov Complexity to Cryptography | Alexandre Jorge Teixeira Miranda Pinto, (PhD)
Universidade do Porto, Portugal
|
2007 | A SPARQL Query Engine over Web Ontologies using Contextual Logic Programming | Nuno Alexandre de Jesus Lopes (Master)
Universidade de Évora, Portugal
|
Association member
Society Organization name | Role | |
---|---|---|
2023 - Current | Chair of Working group 1.2 on Descriptional Complexity of IFIP | Chair |
2017 - Current | ISOC.PT -Internet Society Portugal | Member of Directory Board 2019-2021 |
2011 - Current | Centro de Matemáttica da Universidade do Porto | Member |
Current | Sociedade Portuguesa de Matemática | |
Current | 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 |
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
2024 - Current | Chair of the DCFS (Descriptional Complexity of Formal Systems) Steering Committee
Coordinator
|
|
2017 - Current | Vice-chair of IFIP (International Federation for Information Processing )Working Group 1.2 on Descriptional Complexity
http://www.informatik.uni-giessen.de/ifipwg1.
Coordinator
|
|
2014 - Current | Member of “Steering Committee” of DCFS (Descriptional Complexity of Formal Systems)
Member
|
|
2020 - 2020 | Member of the Programme Committee of 2nd International Congress on Blockchain and Applications, L’Aquila (Italy), 17th-19th
June, 2020
Member
|
|
2019 - 2019 | Member of the Programme Committee of 1st International Congress on Blockchain and Applications (BLOCKCHAIN19), Ávila, España.
Member
|
|
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
Member
|
|
2019 - 2019 | Member of the Programme Committee of 24th International Conference on Implementation and Applications of Automata, (CIAA
2019), Košice, Slovalkia.
Member
|
|
2018 - 2018 | Member of the Programme Committee of 9th International Conference on Ambient Intelligence, Toledo, Spain, 20-22 Junho de
2018.
Member
|
|
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.
Member
|
|
2017 - 2017 | Member of the Programme Committee of 8th International Conference on Ambient Intelligence,Porto, Portugal, May 8-11, 2017.
Member
|
|
2017 - 2017 | Member of the Programme Committee of 19th International Conference on Descriptional Complexity of Formal Systems (DCFS 2017),
Milano, Italy.
Member
|
|
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.
Member
|
|
2016 - 2016 | Member of the Programme Committee of 21th International Conference on Implementation and Applications of Automata, (CIAA
2016), Seul, South Korea.
Member
|
|
2015 - 2015 | Member of the Programme Committee of 20th International Conference on Implementation and Applications of Automata, (CIAA
2015), Umea, Sweden.
Member
|
|
2013 - 2013 | Member of Programme Committee of the 16th International Conference on Implementation and Applications of Automata, (CIAA
2013), Halifax, New Scotland, Canada.
Member
|
|
2013 - 2013 | Member of the Programme Committee of 5th International Workshop “Non-Classical Models of Auto- mata and Applications”, (NCMA
2013), Umea, Sweden.
Member
|
|
2011 - 2011 | Member of programme committee of DCFS 2011
Member
|
|
2010 - 2010 | Member of the programme committee of CIAA 2010
Member
|
|
2010 - 2010 | Member of Programme Committee of CIAA 2010
Member
|
Conference scientific committee
Conference name | Conference host | |
---|---|---|
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 |
Evaluation committee
Activity description Role |
Institution / Organization | Funding entity | |
---|---|---|---|
2023 - 2023 | NSERC Discovery Grant
Evaluator
|
National Research Council Canada |
Distinctions
Award
2020 | Best Paper Award SOFSEM 2020 |