Identification
Personal identification
- Full name
- Nelma Moreira
Citation names
- Moreira, Nelma
Author identifiers
- Ciência ID
- 7814-539A-2713
- ORCID iD
- 0000-0003-0861-0105
- AuthenticusID
- R-000-DGK
- Google Scholar ID
- BqApSwEAAAAJ
- Researcher Id
- B-8481-2012
- Scopus Author Id
- 8427307600
Knowledge fields
- Exact Sciences - Computer and Information Sciences - Computer Sciences
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
French | Intermediate (B1) | Intermediate (B1) | Intermediate (B1) | Intermediate (B1) | |
English | Intermediate (B1) | Advanced (C1) | Intermediate (B1) | Intermediate (B1) |
Education
Degree | Classification | |
---|---|---|
1997/12/04
Concluded
|
Ciências de Computadores (Doutoramento)
Major in Processamento de Linguagem Natural
Universidade do Porto Faculdade de Ciências, Portugal
"Formalismos e Técnicas de Implementação de Gramáticas Lógicas com Restrições" (THESIS/DISSERTATION)
|
|
1989
Concluded
|
Provas de Aptidão Pedagógica e Capacidade Científica (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
"Representação de Semântica de Referências Temporais em Linguagem Natural" (THESIS/DISSERTATION)
|
Muito Bom |
1984
Concluded
|
Licenciatura em Matemática (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"Teoria das Catastrofes" (THESIS/DISSERTATION)
|
15 |
Affiliation
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2020/10/30 - Current | Associate Professor (University Teacher) | Universidade do Porto, Portugal |
Universidade do Porto Faculdade de Ciências, Portugal | ||
1997/12/04 - Current | Assistant Professor (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
1982/01/02 - 1997/12/04 | Assistant (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
1984/10/11 - 1989/01/02 | Trainee Assistant (University Teacher) | Universidade do Porto Faculdade de Ciências, Portugal |
Projects
Contract
Designation | Funders | |
---|---|---|
2007 - Current | IPG 2007 Education and Language in Memories of Labour
IPG 118
Principal investigator
|
Universidade do Porto
Concluded
|
2021/01/01 - 2025/12/31 | Laboratório Associado de Sistemas Inteligentes
Universidade Nova de Lisboa Centro de Tecnologias e Sistemas, Portugal
Universidade de Aveiro Centro de Tecnologia Mecânica e Automação, Portugal Instituto Politécnico do Porto Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real, Portugal Universidade do Porto Faculdade de Ciências, Portugal Universidade do Minho, Portugal Universidade do Porto Centro de Matemática, Portugal Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal Universidade do Minho Instituto de Polímeros e Compósitos, Portugal Universidade de Aveiro, Portugal Universidade de Aveiro Instituto de Engenharia Eletrónica e Informática de Aveiro, Portugal Universidade do Minho Centro ALGORITMI, Portugal Universidade Nova de Lisboa Unidade de Investigação e Desenvolvimento em Engenharia Mecânica e Industrial, Portugal Universidade de Coimbra, Portugal Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal Universidade de Coimbra Centro de Informatica e Sistemas, Portugal Instituto Politécnico do Porto Grupo de Investigação em Engenharia e Computação Inteligente para a Inovação e o Desenvolvimento, Portugal Instituto Politécnico do Cávado e do Ave, Portugal Universidade do Porto Faculdade de Engenharia, Portugal Universidade NOVA de Lisboa, Portugal |
Fundação para a Ciência e a Tecnologia
Ongoing
|
2012 - 2015 | AVIACC Analysis and Verification of Safe Concurrent Programs
Researcher
|
Fundação para a Ciência e a Tecnologia
Concluded
|
2010 - 2013 | CANTE Descriptional and Computational Complexity of Formal Languages,
Researcher
|
Fundação para a Ciência e a Tecnologia
Concluded
|
2010 - 2012 | CSI Cryptographic Security of Individual Instances
FCT/ PTDC/EIA-CCO/099951/2008
Researcher
|
Fundação para a Ciência e a Tecnologia |
2008 - 2011 | RESCUE Reliable and Safe Code Execution for Embedded Systems,
FCT/ PTDC/ EIA/ 65862/ 2006
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
|
2010 - 2010 | IJUP2010 Análise Social e Linguística nas Memórias do Trabalho
IJUP/IPG162,
Principal investigator
|
Universidade do Porto
Concluded
|
2007 - 2009 | ASA Automata, Semigroups and Applications,
PTDC/ MAT/ 65481/ 2006
Researcher
|
Fundação para a Ciência e a Tecnologia |
2006 - 2008 | MTCIO Memórias do trabalho: processos de obtenção duma identidade operária
POCI/ CED/ 60786/ 2004
Researcher
|
Fundação para a Ciência e a Tecnologia |
2003 - 2006 | AGILMAT Geração Automática de Exercícios Interactivos para Ensino de Matemática
POSI/ CHS/ 48565/ 2002,
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
|
1999 - 2002 | GANESH Um Ambiente Modular e Distribuído para Aprendizagem de Ciência de Computadores
PRAXIS/ P/ EEI/ 14232/ 98
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
Concluded
|
1999 - 2001 | CORE Sistemas Formais e Complexidade Computacional
PRAXIS/ P/ EEI/ 14233/ 98
Researcher
|
|
1995 - 1998 | PROLOPPE Programação em Lógica Paralela com Extensões.
Praxis 3/3.1/TIT/24/94
Researcher
|
Concluded
|
Outputs
Publications
Book chapter |
|
Conference paper |
|
Edited book |
|
Journal article |
|
Other
Other output |
|
Activities
Oral presentation
Presentation title | Event name Host (Event location) |
|
---|---|---|
2022 | Automata for Synchronised Shuffle Expressions. | NCMA 2022, 12th Workshop on Non-Classical Models of Automata and Applications
(DEbrecen, Hungary)
|
2022 | Maniputalion of regular expressions using derivatives: an overview | CIAA 2022, 26th International Conference on Implementation and Application of Automata
(Rouen, France)
|
2018/09/06 | Conversions from REs to nfas and dfas: a Taxonomy and Average Complexity | DLT's Satellite Workshop in Kyoto
(Kyoto, Japan)
|
2016 | On the dissimilarity operation on finite languages | NCMA 2016, Eighth Workshop on Non-Classical Models of Automata and Applications
(Debrecen, Hungary)
|
2015 | Partial derivative automaton for regular expressions with shuffle. | DCFS 2015
(Waterloo)
|
2012 | FAdo: tools for finite automata manipulation | Demo session, CIAA 2012
(Porto, Portugal)
|
2010 | Small nfas from regular expressions: Some experimental results. | 6th Conference Computability in Europe (CIE 2010)
(Ponta Delgada)
|
2008 | Exact generation of acyclic deterministic finite automata | Workshop on Descriptional Complexity of Formal Systems (DCFS08)
(Charlottetown, Canada)
|
2006 | Aspects of enumeration and generation with a string automata representation | Workshop on Descriptional Complexity of Formal Systems (DCFS06).
(Las Cruces)
|
1995 | Resolution of Constraints on Trees and Higher Order Tree Description | 5rd Portuguese Advanced School on AI -- Constraint Programming,
(Estoril)
|
1995 | Constraint Categorial Grammars. | 7th Portuguese Conference on Artificial Intelligence, EPIA 95
(Funchal)
|
1994 | Constraint Categorial Grammars | European Research Conference on Logic, Language and Information: Inference and Information Structure within Computational
Semantics
(Espinho, Portugal)
|
1993 | Resolution of Constraints in Algebras of Rational Trees | 6th Portuguese Conference on Artificial Intelligence
(Porto, Portugal)
|
1989 | Semantic Analysis of Time and Tense in Natural Language: an implementation | 4th Portuguese Conference of Artificial Inteligence,
(Portugal)
|
Supervision
Thesis Title Role |
Degree Subject (Type) Institution / Organization |
|
---|---|---|
2006 - 2026 | GerExa:uma plataforma para a manipulação de exercícios e exames em XML
Supervisor
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2019/10 - 2020/01 | Testing determinism of Regular expressions
Supervisor
|
Mestrado Integrado de Redes e Sistemas Informáticos (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2019/03 - 2019/07 | Degree of Ambiguity in Finite Automata
Co-supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Transducers and 2D Regular Expressions
Supervisor
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Significant Classes of NFA and their Random Generation
Co-supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2017 - 2017 | Autómatos não determinísticos injectivos
Co-supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2015/09 - 2016/06 | GUItar: ambiente gráfico para manipuladores de autómatos
Co-supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2016 - 2016 | Implementação de algoritmos para transduções
Supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2016 - 2016 | Autómatos e Expressões Regulares para Transduções
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências da Nutrição e Alimentação, Portugal
|
2012 - 2016 | On the Descriptional Complexity of Some Operations and Simulations of Regular Models.
Co-supervisor
|
Programa Doutoral em Ciência de Computadores (PhD) |
2015/02 - 2015/04 | Implementation of decision procedures for KAT and SKAT using BDDs
Supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2015 - 2015 | Manipulation of Extended Regular expressions.
Co-supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014/10 - 2014/12 | Conversion of extended regular expressions to alternating finite automata
Supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2013/12 - 2014/08 | Decidable procedures for Concurrent Kleene Algebras
Supervisor
|
Project AVIACC , FCT PTDC/ EIA-CCO/ 117590/2010 (Scientific initiation) |
2013 - 2013 | Implementation of automata and KAT terms equivalence
algorithms
Supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2013 - 2013 | Conversão de expressões KAT para autómatos não determinísticos
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2013 | DesCo: a Web Information System For Description Complexity Results
Co-supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2013 | Towards certified program logics for the verification of imperative programs
Supervisor
|
Programa Doutoral MAP-I (PhD) |
2012 - 2012 | MinFA and Res: minimal NFAs and extended regular expressions
Co-supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2012 - 2012 | Organização de Descrições arquivísticas
Supervisor
|
Licenciatura em Ciência de Computadores. (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2012 | Yappy: parser GLR
Co-supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2012 | Interoperacionalidade do GUItar
Co-supervisor
|
Licenciatura em Ciência de Computadores. (Degree) |
2012 - 2012 | Contribuição para o Desenvolvimento de um Sistema de Routing
Co-supervisor
|
Mestrado em Engenharia de Redes em Sistemas Informáticos (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2011 - 2012 | Decision Algorithms for Kleene Algebra with Tests and Hoare Logic
Supervisor
|
Mestrado em Ciência de Computadores (Master) |
2011 - 2011 | Desenvolvimento do GUitar em QT
Co-supervisor
|
|
2011 - 2011 | Sistema de Informação Web para resultados sobre
complexidade descritiva
Co-supervisor
|
Universidade do Porto Centro de Matemática, Portugal
|
2011 - 2011 | Verificação de programas Ada usando Autómatos
temporizados
Supervisor
|
Universidade do Porto, Portugal
|
2011 - 2011 | Arquivo Escolar
Co-supervisor
|
Mestrado em Ciência de Computadores (Master) |
2007 - 2011 | Equivalence of regular languages: an algorithmic approach and complexity analysis,
Supervisor
|
Programa doutoral em Ciência de Computadores (PhD)
Universidade do Porto Faculdade de Ciências, Portugal
|
2010 - 2010 | Estudo de extensões da linguagem do Why para
Python
Co-supervisor
|
Universidade do Porto, Portugal
|
2010 - 2010 | Métodos de obtenção de expressões regulares
pequenas
Co-supervisor
|
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
2010 - 2010 | ImageBrowser
Supervisor
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | An Interactive System for Automata Manipulations
Supervisor
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Inferência de tipos em Python
Co-supervisor
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Towards Automata Diagram Drawings
Co-supervisor
|
Mestrado em Ciência de Computadores (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2009 | Obtenção de autómatos finitos não determinísticos
pequenos
Co-supervisor
|
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
2009 - 2009 | Anotações Linguísticas nas Memórias do Trabalho
Supervisor
|
IJUP (Scientific initiation)
Universidade do Porto, Portugal
|
2009 - 2009 | Obtenção de autómatos não determinísticos
pequenos e minimais
Co-supervisor
|
Mestrado em Engenharia de Redes e Sistemas Informáticos (Degree) |
2009 - 2009 | Classificação e indexação de documentos associados a
entrevistas
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2009 | Livraria Poetria on-line
Supervisor
|
Licenciatura em Ciência de Computadores. (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2008 - 2008 | Visualização e edição de diagramas de autómatos
finitos
Co-supervisor
|
Projecto ASA (Scientific initiation)
Universidade do Porto, Portugal
|
2008 - 2008 | CGM: ambiente interactivo para
a manipulação de gramáticas independentes de contexto
Co-supervisor
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2007 - 2007 | Desenvolvimento de tecnologias XML para a indexação e
pesquisa em documentos
Supervisor
|
Licenciatura em Ciência de Computadores. (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2007 - 2007 | Analisador Sintáctico GLR para o Yappy
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2005 - 2007 | Logic frameworks for reasoning about emotions in BDI Agents
Supervisor
|
Mestrado em Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 - 2006 | Manipulação de fórmulas de lógica proposicional em
Python
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 - 2006 | Ferramentas para geração e enumeração de linguagens
regulares
Co-supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2005 - 2005 | Métodos de conversão de autómatos finitos em expressões
regulares pequenas
Co-supervisor
|
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
2005 - 2005 | Sistemas dedutivos para lógicas de descrição
Co-supervisor
|
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
2005 - 2005 | Ferramentas WEB para acesso a um thesaurus
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 - 2005 | Specification of a Language for Timetabling Problems,
Co-supervisor
|
Mestrado em Informática (Master) |
2004 - 2005 | Obtenção de expressões regulares pequenas a partir de autómatos finitos.
Co-supervisor
|
Mestrado de Informática (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 - 2004 | Interface gráfico para a edição e a
visualização de autómatos finitos
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 - 2004 | Sistema de informação para a gestão de
pessoas e atividades da UPP
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 - 2003 | Automatic: editor de diagramas de autómatos finitos
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
2001 - 2001 | Desenvolvimento Centro de Informação da Universidade
Popular do Porto
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
1998 - 1998 | Gestão da base de dados da biblioteca do CIUP
Supervisor
|
Licenciatura em Ciência de Computadores (Degree)
Universidade do Porto Faculdade de Ciências, Portugal
|
Event organisation
Event name Type of event (Role) |
Institution / Organization | |
---|---|---|
2019 - Current | FM 2019, 3rd World Congress on Formal Methods. Porto, 7-11/10/2019 Co-presidente das Workshops e Tutorials. (2019 - 2019)
Congress (Member of the Organising Committee)
|
|
1993 - Current | 6th Portuguese Conference on Artificial Intelligence, Porto (1993/10)
Conference (Member of the Organising Committee)
|
|
2021/08/16 - 2021/08/20 | 25th International Conference on Developments of Language Theory (2021/08/16 - 2021/08/20)
Conference (President of the Organising Committee)
|
Universidade do Porto, Portugal |
2020 - 2020 | Program Committee member SOFSEM 2020, 46th International Conference on Current Trends in Theory and Prac- tice of Computer
Science. Limassol, Cyprus. January 20-24, 2020 (2020 - 2020)
Conference (Member of the Scientific Committee)
|
|
2019 - 2019 | SOFSEM 2019, 45th International Conference on Current Trends in Theory and Practice of Computer Science. Nový Smokovec, Slovakia,
January 27-30, 2019. Membro da comissão de programa. (2019 - 2019)
Conference (Member of the Scientific Committee)
|
|
2019 - 2019 | DCFS 2019, 21th International Workshop on Descriptional Complexity of Formal Systems, Kosice, Slovakia. 17–19 July, 2019.
(2019 - 2019)
Conference (Member of the Scientific Committee)
|
|
2018 - 2018 | NCMA 2018, 10th Non-Classical Models of Automata and Applications, 21-22/08/2018, Kosice, Slovakia. Membro da comissão de programa. (2018 - 2018) | |
2018 - 2018 | DCFS 2018, 20th International Workshop on Descriptional Complexity of Formal Systems, Halifax, NS, Canada, 25–27 July, 2018.
Membro da comissão de programa.
(2018 - 2018)
Conference (Member of the Scientific Committee)
|
|
2017 - 2017 | 22nd International Conference on Implementation and Application of Automata (CIAA 2017), Paris, France. (2017 - 2017)
Conference (Member of the Scientific Committee)
|
|
2016 - 2016 | DCFS 2016, 18th International Workshop on Descriptional Complexity of Formal Systems, Bucharest, Romania, 6–8 July, 2016.
Membro da comissão de programa. (2016 - 2016)
Conference (Member of the Scientific Committee)
|
|
2016 - 2016 | NCMA 2016, 8th Non-Classical Models of Automata and Applications, 29-30/08/2016, Debrecen, Hungry. (2016 - 2016) | |
2016 - 2016 | IJCAR 2016, International Joint Conference on Automated Reasoning, 27 June - 2 July, 2016, University of Coimbra, Portugal. (2016)
Conference (Member of the Organising Committee)
|
|
2016 - 2016 | FSCD 2016, 1st International Conference Formal Structures for Computation and Deduction, 22-26, June, Porto, Portugal. (2016)
Conference (Member of the Organising Committee)
|
|
2015 - 2015 | 7th Workshop on Non-Classical Models of Automata and Applications (NCMA 2015), 31/08-01/09/2015, Porto, Portugal. Co-presidente da comissão de programa. (2015 - 2015) | |
2015 - 2015 | 17th International Workshop on Descriptional Complexity of Formal Systems, Waterloo, Canada, 25-27/07/2015. Membro da comissão de programa. (2015 - 2015) | |
2015 - 2015 | 7th Workshop on Non-Classical Models of Automata and Applications (NCMA 2015), 31/08-01/09/2015, Porto, Portugal. (2015)
Workshop (President of the Organising Committee)
|
|
2014 - 2014 | 19th International Conference on Implementation and Application of Automata (CIAA 2014), Giessen, Germany. Membro da comissão
de programa. (2014 - 2014)
Conference (Member of the Scientific Committee)
|
|
2014 - 2014 | 6th Non-Classical Models of Automata and Applications, NCMA 2014, Kassel, Germany. Membro da comissão de programa.
(2014 - 2014)
Workshop (Member of the Scientific Committee)
|
|
2014 - 2014 | Inforum, Simpósio de Informática, 2014. Membro da comissão de Programa do t ´opico “Sistemas Embebidos e de Tempo-Real”. (2014 - 2014)
Symposium (Member of the Scientific Committee)
|
|
2014 - 2014 | 10th International Workshop on Automated Deduction in Geometry, Coimbra, Portugal. (2014)
Workshop (Member of the Organising Committee)
|
|
2013 - 2013 | 18th International Conference on Implementation and Application of Automata (CIAA 2013), Halifax, Nova Scotia, Canada. Membro
da comissão de programa.
(2013 - 2013)
Conference (Member of the Scientific Committee)
|
|
2013 - 2013 | 15th International Workshop on Descriptional Complexity of Formal Systems, London,Ontario, Canada. Membro da comissão de programa. (2013 - 2013)
Workshop (Member of the Scientific Committee)
|
|
2013 - 2013 | Inforum, Simpósio de Informática,2013.Membro da comissão de Programa do tópico “Sistemas Embebidos e de Tempo-Real”. (2013 - 2013)
Symposium (Member of the Scientific Committee)
|
|
2012 - 2012 | 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal. Co-presidente da
Comissão de Programa.
(2012 - 2012)
Conference (Member of the Scientific Committee)
|
|
2012 - 2012 | 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portugal.Co-presidente da Comissão de Programa. (2012 - 2012)
Workshop (Member of the Scientific Committee)
|
|
2012 - 2012 | Inforum, Simpósio de Informática,2012. Membro da comissão de Programa do tópico “Sistemas Embebidos e de Tempo-Real”. (2012 - 2012)
Symposium (Member of the Scientific Committee)
|
|
2012 - 2012 | 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal (2012 - 2012)
Conference (President of the Organising Committee)
|
|
2012 - 2012 | 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portuga (2012 - 2012)
Workshop (President of the Organising Committee)
|
|
2011 - 2011 | 3rd Non-Classical Models of Automata and Applications, NCMA 2011. Membro da comissão de programa. (2011 - 2011)
Workshop (Member of the Scientific Committee)
|
|
2011 - 2011 | Inforum, Simpósio de Informática,2011. Membro da comissão de Programa do tópico “Sistemas Embebidos e de Tempo-Real”. (2011 - 2011)
Symposium (Member of the Scientific Committee)
|
|
2010 - 2010 | Inforum, Simpósio de Informática,2010. Membro da comissão de Programa do tópico ”Especificação, Verificação, e Teste de Sistemas
Críticos”. (2010 - 2010)
Symposium (Member of the Scientific Committee)
|
|
1990 - 1990 | 2a ¯ Escola Avan ¸cada de Inteligˆencia Artificial, EAIA, (1990 - 1990)
Meeting (Member of the Organising Committee)
|
Event participation
Activity description Type of event |
Event name Institution / Organization |
|
---|---|---|
2023 - 2023 | Participant
Conference
|
25th International Conference on Descriptional Complexity of Formal Systems, |
2023 - 2023 | Contributed talk
Conference
|
27th International Conference on Implementation and Application of Automata, |
2023 - 2023 | Participant
Conference
|
13th Workshop on Non-Classical Models of Automata and Applications, |
2022 - 2022 | Invited talk
Conference
|
CIAA 2022 |
2022 - 2022 | Contributed talk
Conference
|
24th International Conference on Descriptional Complexity of Formal Systems, |
Jury of academic degree
Topic Role |
Candidate name (Type of degree) Institution / Organization |
|
---|---|---|
2024 | Working Environment for Automated Deduction
in Geometry
(Thesis) Arguer
|
Nuno Miguel dos Santos Baeta (PhD)
Universidade de Coimbra, Portugal
|
2022 | Enhanced Automatic Feedback Generation for the Learning of Regular Expressions
(Thesis) Main arguer
|
Olaperi Yeside Okuboyejo (PhD)
University of the Witwatersrand Johannesburg, South Africa
|
2020/06/05 | OCaml-FLAT on the Ocsigen framework
(Thesis) Main arguer
|
Rita Pedroso Macedo (Master)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2020/01/08 | Formally Verified Bug-free Implementations of Logical Algorithms
(Thesis) Arguer
|
Pedro Miguel Laforêt Barroso (Master)
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
2018 | Transducers and 2D Regular Expressions
Supervisor
|
João Rebelo Pires (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2016 | Rough Approximations in Varieties of Regular Languages
(Thesis) Main arguer
|
Gabriela Susana Martin Torres (PhD) |
2015 | Manipulation of Extended Regular Expressions with Derivatives
Supervisor
|
Rafaela Carolina Ribeiro Bastos (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Sistemas de Pergunta-Resposta para a Web semântica
Thesis Member
|
Dora Regina Oliveira Melo (PhD) |
2014 | Programming with Sequence and Context Variables: Foundations and Applications
Thesis Member
|
Besik Dundua (PhD)
Universidade do Porto, Portugal
|
2013 | Towards certified program logics for the verification of imperative programs
Supervisor
|
David Miguel Ramalho Pereira (PhD)
Universidade do Porto, Portugal
|
2013 | Web-base Knowledge System for Descriptional Complexity of Formal Languages
Supervisor
|
Davide Pereira Nabais (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 | Lógica da separação e verificação formal de programas
(Thesis) Arguer
|
Isabel Maria Ventura Santos (Master)
Universidade do Minho Escola de Ciências, Portugal
|
2011 | Equivalence of regular languages: an algorithmic approach and complexity analysis
Supervisor
|
Marco André Almeida (PhD)
Universidade do Porto, Portugal
|
2011 | Learning and testing stochastic discrete event systems
(Thesis) Arguer
|
André de Matos Pedro (Master)
Universidade do Minho Escola de Engenharia, Portugal
|
2010 | An Interactive System for Automata manipulations
Supervisor
|
José Daniel da Silva Alves (Master) |
2009 | Visual Functional Programming
(Thesis) Arguer
|
José Miguel Ferreira Vilaça (PhD)
Universidade do Minho, Portugal
|
2009 | On the Design of a “Galculator”
(Thesis) Arguer
|
Paulo Filipe Araújo da Silva (PhD)
Universidade do Minho, Portugal
|
2009 | Space Aqua - Automated Qualification Framework for Space Applications
(Thesis) Arguer
|
Ricardo Alberto Teixeira Batista (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 | Crivo Quadrático
Thesis Member
|
José António Nunes Borges (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2008 | Votações Electrónicas e a Cifra de Paillier
Thesis Member
|
Alexandra Goreti Pinto Queirós (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2007 | XML Processing in Logic Programming,
Thesis Member
|
Jorge Manuel Neves Coelho (PhD)
Universidade do Porto, Portugal
|
2007 | Logic frameworks for reasoning about emotions in BDI Agents
Supervisor
|
David Miguel Ramalho Pereira (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 | BDI-based approach for the assessment of drivers’ decision-making in commuter scenarios.
Thesis Member
|
Rosaldo José Fernandes Rosseti (Other)
Universidade do Porto, Portugal
|
2006 | Metodologia para o Desenvolvimento de uma Aplicação de Manipulação de Exercícios e Documentos Associados
Supervisor
|
Ângela Cristina Marques de Oliveira (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 | Multi-Agent System for Turistic Agency
President of the jury
|
Guilherme Pereira (Master)
Universidade do Porto, Portugal
|
2005 | Segurança Absoluta em Sistemas de Cifra de Chave Simétrica
Thesis Member
|
Liliana da Conceição Monteiro Salvador (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2005 | Obtenção de Expressões Regulares Pequenas a Partir de Autómatos Finitos
Supervisor
|
José João Morais (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 | Sistema Multi-Agente para Visualização 3D de jogos de futebol robótico simulado
President of the jury
|
Sérgio Fernando Grilate Louro (Master)
Universidade do Porto, Portugal
|
2004 | Arquitecturas de Agentes Emocionais
President of the jury
|
Luís António Diniz Fernandes de Morais Sarmento (Master)
Universidade do Porto, Portugal
|
2003 | Useful Information
Thesis Member
|
Luis Filipe Coelho Antunes (PhD)
Universidade do Porto, Portugal
|
2003 | Webneighbours: uma cache distribuída
usando um modelo P2P
President of the jury
|
Hugo Jorge Pinto Ribeiro (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Interfaces Web para aplicações
SCADA
President of the jury
|
Ricardo Jorge Nogueira Fernandes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Um Sistema Baseado na Separação de
Ambientes para Execução Distribuída de Prolog
President of the jury
|
Rolando da Silva Martins (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Canal SCADA na Web
President of the jury
|
Miguel Ferreira Pereira Gomes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Metodologia de Partilha de Dados entre
Sistemas Heterogéneos Usando XML
President of the jury
|
Rogério Filipe Pinho Ferreira (Master) |
2003 | Extração de Elementos Relevantes em
Texto/Paginas da World Wide Web
President of the jury
|
João Paulo da Costa Cordeiro (Master)
Universidade do Porto, Portugal
|
2002 | Processamento de XML em Prolog
President of the jury
|
Jorge Manuel Neves Coelho (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2002 | Aplicações da Complexidade de Kolmogorov à Criptografia
President of the jury
|
Pedro Miguel Figueiredo Medas (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2002 | Análise Automática de Logs em Sistemas Unix
President of the jury
|
Paula Marina Gonçalves Fonseca (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
2001 | Regras e Casos: Uma Abordagem à Aprendizagem Relacional Multi- Estratégia,
Thesis Member
|
Alneu de Andrade Lopes (PhD)
Universidade do Porto, Portugal
|
2001 | Administração Centralizada de Grupos de Sistemas Unix
President of the jury
|
Mário João Gonçalves Antunes (Master)
Universidade do Porto Faculdade de Ciências, Portugal
|
Ad Hoc journal article review
Journal title (ISSN) | Publisher | |
---|---|---|
2024 - 2024 | Theoretical Computer Science | |
2023 - 2023 | Theoretical Computer Science | |
2023 - 2023 | Journal of Computer Languages | |
2021 - 2021 | Annals of Mathematics and Artificial Intelligence | |
2021 - 2021 | Journal of Symbolic Computation | |
2021 - 2021 | International Journal of Approximate Reasoning. | |
2020 - 2020 | Information Sciences | |
2020 - 2020 | Journal of Logical and Algebraic Methods in Programming | |
2020 - 2020 | Theoretical Computer Science | |
2020 - 2020 | Information and Computation | |
2020 - 2020 | Acta Informatica | |
2019 - 2019 | Acta Informatica | |
2019 - 2019 | Acta Informatica | |
2019 - 2019 | Information and Computation | |
2018 - 2018 | Symposium on Theoretical Aspects of Computer Science | |
2017 - 2017 | Journal of Automata, Languages and Combinatorics | |
2017 - 2017 | ACM Technical Symposium on Computer Science Education | |
2016 - 2016 | Journal of Computer and System Sciences | |
2016 - 2016 | Frontiers of Information Technology & Electronic Engineering | |
2016 - 2016 | Journal of Logical and Algebraic Methods in Programming | |
2015 - 2015 | Journal of Computer and System Sciences | |
2015 - 2015 | Symposium on Discrete Algorithms | |
2015 - 2015 | Symposium on Theoretical Aspects of Computer Science | |
2014 - 2014 | International Journal of Foundations of Computer Science | |
2014 - 2014 | Formal Methods | |
2013 - 2013 | Information and Computation | |
2013 - 2013 | Theoretical Computer Science | |
2012 - 2012 | Theoretical Computer Science | |
2012 - 2012 | Theoretical Informatics and Applications (RAIRO ITA) | |
2012 - 2012 | Theoretical Computer Science | |
2011 - 2011 | Discrete Applied Mathematics | |
2011 - 2011 | International Journal of Computer Mathematics | |
2010 - 2010 | Fundamenta Informaticae. | |
2010 - 2010 | International Journal of Foundations of Computer Science. |
Association member
Society Organization name | Role | |
---|---|---|
2012 - Current | IFIP - Grupo de trabalho 1.2 - Complexidade Descritiva | Membro |
Committee member
Activity description Role |
Institution / Organization | |
---|---|---|
2023 - Current | Coordinator of CMUP line of research Semigroups, automata and Languages; member of the scientific board of CMUP
Coordinator
|
Universidade do Porto Centro de Matemática, Portugal |
2019 - Current | Steering Committee member of the International Conference on Implementation and Application of Automata (CIAA).
Member
|
|
2016 - Current | Editorial board of JALC- Journal of automata, languages and combinatorics
Member
|
|
2014 - Current | Membro da comissão coordenadora da Workshop on Non-classic models of automata and applications (NCMA).
Member
|
|
2011 - Current | Member of the research unit CMUP
Member
|
Universidade do Porto Centro de Matemática, Portugal |
Conference scientific committee
Conference name | Conference host | |
---|---|---|
2011 - Current | Formal Methods, FM 2011. | |
2011 - Current | 42th ACM Technical Symposium on Computer Science Education, SIGCSE 2011. | |
2023 - 2023 | 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMICS) | Augsburg, Germany |
2023 - 2023 | CIAA 2023, 27th International Conference on Implementation and Application of Automata | Famagusta, Cyprus |
2023 - 2023 | DCFS 2023, 25th International Workshop on Descriptional Complexity of Formal Systems | Potsdam, Germany |
2023 - 2023 | FCT 2023, 24th International Symposium on Fundamentals of Computation Theory | Trier, Germany |
2023 - 2023 | NCMA 2023, 13th Workshop on Non-Classical Models of Automata and Applications | Famagusta, Cyprus |
2022 - 2022 | LICS 2022, 37th Annual ACM/IEEE Symposium on Logic in Computer Science | Haifa, Israel |
2022 - 2022 | INFORUM 2022 - SOFT-PT,13o Simpósio de Informática | Guarda, Portugal |
2021 - 2021 | CIAA 2021, 25th International Conference on Implementation and Application of Automata | Bremen, Germany |
2021 - 2021 | MOL 2021, 17th Mathematics of Language | University of Montpellier, France |
2020 - 2020 | CSL 2020, 28th International Conference on Computer Science Logic | |
2019 - 2019 | 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 19) | |
2019 - 2019 | Symposium on Theoretical Aspects of Computer Science, STACS 2019 | |
2019 - 2019 | 50th ACM Technical Symposium on Computer Science Education, SIGCSE 2019 | |
2018 - 2018 | NCMA Workshop on Non-Classical Models of Automata and Applications 2018 | |
2018 - 2018 | International Conference on Implementation and Application of Automata | |
2018 - 2018 | 22nd International Conference on Developments in Language Theory, DLT 2018. | |
2018 - 2018 | 23rd International Conference on Implementation and Application of Automata, CIAA 2018 | |
2018 - 2018 | 49th ACM Technical Symposium on Computer Science Education, SIGCSE 2018 | |
2017 - 2017 | 19th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2017 | |
2017 - 2017 | 48th ACM Technical Symposium on Computer Science Education, SIGCSE 2017 | |
2016 - 2016 | 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016. | |
2016 - 2016 | Symposium on Theoretical Aspects of Computer Science, STACS 2016 | |
2015 - 2015 | ACM-SIAM Symposium on Discrete Algorithms, SODA 2015 | |
2015 - 2015 | 9th International Conference on Language and Automata Theory and Applica- tions, LATA 2015 | |
2015 - 2015 | 27th International Conference on Formal Power Series and Algebraic Combina- torics, FPSAC2015 | |
2015 - 2015 | 20th International Conference on Implementation and Application of Automata, CIAA 2015 | |
2015 - 2015 | 47th ACM Technical Symposium on Computer Science Education, SIGCSE 2016 | |
2015 - 2015 | 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2015. | |
2014 - 2014 | Formal Methods, FM 2014 | |
2014 - 2014 | 18th International Conference on Developments in Language Theory, DLT 2014. | |
2014 - 2014 | 45th ACM Technical Symposium on Computer Science Education, SIGCSE 2014. | |
2014 - 2014 | 8th International Conference on Language and Automata Theory and Applica- tions, Lata 2014. | |
2014 - 2014 | 8th International Conference on Language and Automata Theory and Applications, Lata 2014. | |
2013 - 2013 | 17th International Conference on Developments in Language Theory, DLT 2013 | |
2012 - 2012 | 43th ACM Technical Symposium on Computer Science Education, SIGCSE 2012. | |
2012 - 2012 | 4th Non-Classical Models of Automata and Applications, Ncma 2012. | |
2011 - 2011 | Workshop on Descriptional Complexity of Formal Systems, DCFS 2011. | |
2011 - 2011 | International Conference on Implementation and Applications of Automata, CIAA 2011. | |
2011 - 2011 | Symposium of Theoretical Aspects of Computer Science, STACS 2011. | |
2010 - 2010 | International Conference on Implementation and Applications of Automata, (CIAA10) | |
2010 - 2010 | 41th ACM Technical Symposium on Computer Science Education, SIGCSE 2010. | |
2009 - 2009 | Innovation and Technology in Computer Science Education (ITiCSE 2009). | |
2008 - 2008 | Innovation and Technology in Computer Science Education (ITiCSE 2008). | |
2008 - 2008 | 2nd International Conference on Language and Automata Theory and Applications, LATA 2008. | |
2008 - 2008 | 39th ACM Technical Symposium on Computer Science Education, SIGCSE 2008. | |
2007 - 2007 | Innovation and Technology in Computer Science Education (ITiCSE 2007). | |
2007 - 2007 | 38th ACM Technical Symposium on Computer Science Education, SIGCSE 2007. | |
2007 - 2007 | 20th International Joint Conference on Artificial Intelligence, IJCAI 2007 | |
2006 - 2006 | Developments in Computational Models, DCM 2006, Satellite Worshop of ICALP 2006. | |
2006 - 2006 | Innovation and Technology in Computer Science Education (ITiCSE 2006). | |
2005 - 2005 | 15th Portuguese Conference on Artificial Intelligence (EPIA'05). | |
2004 - 2004 | IX Ibero-American Conference on Artificial Intelligence, IBERAMIA'04. | |
2003 - 2003 | 12th Portuguese Conference on Artificial Intelligence (EPIA'03). | |
2002 - 2002 | 29th International Colloquium on Automata, Languages, and Programming, ICALP'02. | |
2001 - 2001 | 10th Portuguese Conference on Artificial Intelligence (EPIA'01). | |
2001 - 2001 | Joint Conference on Declarative Programming, Appia-Gulp-Prode, AGP'01. | |
1999 - 1999 | 9th Portuguese Conference on Artificial Intelligence (EPIA'99). |
Course / Discipline taught
Academic session | Degree Subject (Type) | Institution / Organization | |
---|---|---|---|
2023 - Current | Teoria de Computação | (Licenciatura) | |
2023 - 2024 | Programação Concorrente | (Licenciatura) | |
2021 - 2024 | Semânticas de Linguagens de Programação | (Licenciatura) | |
2021 - 2024 | Verificação de Programas | (Licenciatura) | |
2021 - 2024 | Verificação de Programas | (Mestrado) | |
2015 - 2024 | Lógica Computacional | (Licenciatura) | |
2018 - 2021 | Modelos de Computação | (Licenciatura) | |
2019 - 2020 | Métodos Formais em Engenharia de Software | (Mestrado integrado) | |
2018 - 2020 | Programação Concorrente | (Licenciatura) | |
2013 - 2019 | Verificação Formal de Software | (Mestrado) | |
2015 - 2018 | Complexidade Computacional | (Mestrado) | |
2014 - 2015 | Modelos de Computação | (Licenciatura) | |
2013 - 2014 | Automata and Applications | (Curso de doutoramento (conclusão de unidades curriculares)) | |
2009 - 2012 | Lógica e Programação | (Licenciatura) | |
2008 - 2009 | Program Semantics, Verification and Construction | (Curso de doutoramento (conclusão de unidades curriculares)) | |
2007 - 2009 | Fundamentos de Linguagens de Programação | (Mestrado) | |
2000 - 2005 | Modelos de Computação | (Licenciatura) | |
1997 - 2002 | Programação Imperativa | (Licenciatura) | |
1995 - 2002 | Introdução aos computadores | (Licenciatura) | |
1986 - 1998 | Teoria da Computação | (Licenciatura) |
Evaluation committee
Activity description Role |
Institution / Organization | Funding entity | |
---|---|---|---|
2016 - Current | Avaliador do Concurso de projectos de Cooperação Bilateral da FCT.
Evaluator
|
Fundação para a Ciência e a Tecnologia, Portugal | |
2024 - 2024 | External reviewer of the application for a professorship W2 position for Applied Computer Science and Didactics open by
the Department of Mathematics and Computer Science, Physics, Geography at Justus-Liebig University Giessen, Germany
Specialist
|
Justus-Liebig-Universität Gießen FB07 Mathematik und Informatik Physik Geographie, Germany | |
2023 - 2023 | Evaluator of NSERC 2023 Discovery Grants
Evaluator
|
National Research Council Canada | |
2022 - 2022 | Member of the committee for the appointment of an assistant professor in Computer Science of the School of Science and Technologies
of University of Évora, Portugal Edital 390/2022 (2ª série)
Evaluator
|
Universidade de Évora Departamento de Informática, Portugal | |
2017 - 2017 | Avaliador externo para propostas de actividades ao Fields Institute, Canada
Evaluator
|
Fields Institute for Research in Mathematical Sciences | |
2016 - 2016 | Avaliador do Concurso de Bolsas NSERC 2016 Discovery Grants, Canada.
Evaluator
|
Natural Sciences and Engineering Research Council of Canada | |
2013 - 2013 | Membro do Painel de Avaliação de Matemática do Concurso para Atribuição de Bolsas Individuais de Doutoramento, Doutoramento
em Empresas e de Pós-Doutoramento da FCT (Fundação para a Ciência e a Tecnologia)– 2013.
Evaluator
|
Fundação para a Ciência e a Tecnologia |
Journal scientific committee
Journal title (ISSN) | Publisher | |
---|---|---|
2010 - Current | International Journal of Foundations of Computer Science (1793-6373) | World Scientific |
2017 - 2019 | Journal of Automata, Languages and Combinatorics | |
2015 - 2015 | Journal of Computer and System Sciences | |
2012 - 2012 | Theoretical Informatics and Applications (RAIRO ITA) | |
2011 - 2011 | Theoretical Computer Science | |
2011 - 2011 | International Journal of Computer Mathematics Computer Systems Theory (2379-9935) | Informa UK (Taylor & Francis) |
2011 - 2011 | Discrete Applied Mathematics (0166-218X) | Elsevier |
2010 - 2010 | Fundamenta Informaticae (1875-8681) | IOS Press |
2008 - 2008 | Intelligent Decision Technologies (1875-8843) | IOS Press |
Distinctions
Award
2020 | Best paper award SOFSEM20 |