Identificação
Identificação pessoal
- Nome completo
- Nelma Moreira
Nomes de citação
- Moreira, Nelma
Identificadores de autor
- Ciência ID
- 7814-539A-2713
- ORCID iD
- 0000-0003-0861-0105
- Google Scholar ID
- BqApSwEAAAAJ
- Researcher Id
- B-8481-2012
- Scopus Author Id
- 8427307600
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Francês | Utilizador independente (B1) | Utilizador independente (B1) | Utilizador independente (B1) | Utilizador independente (B1) | |
Inglês | Utilizador independente (B1) | Utilizador proficiente (C1) | Utilizador independente (B1) | Utilizador independente (B1) |
Formação
Grau | Classificação | |
---|---|---|
1997/12/04
Concluído
|
Ciências de Computadores (Doutoramento)
Especialização em 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" (TESE/DISSERTAÇÃO)
|
|
1989
Concluído
|
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" (TESE/DISSERTAÇÃO)
|
Muito Bom |
1984
Concluído
|
Licenciatura em Matemática (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
"Teoria das Catastrofes" (TESE/DISSERTAÇÃO)
|
15 |
Percurso profissional
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2020/10/30 - Atual | Professor Associado (Docente Universitário) | Universidade do Porto, Portugal |
Universidade do Porto Faculdade de Ciências, Portugal | ||
1997/12/04 - Atual | Professor Auxiliar (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
1982/01/02 - 1997/12/04 | Assistente (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
1984/10/11 - 1989/01/02 | Assistente Estagiário (Docente Universitário) | Universidade do Porto Faculdade de Ciências, Portugal |
Projetos
Projeto
Designação | Financiadores | |
---|---|---|
2007 - Atual | IPG 2007 Education and Language in Memories of Labour
IPG 118
Investigador responsável
|
Universidade do Porto
Concluído
|
2012 - 2015 | AVIACC Analysis and Verification of Safe Concurrent Programs
Investigador
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2010 - 2013 | CANTE Descriptional and Computational Complexity of Formal Languages,
Investigador
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2010 - 2012 | CSI Cryptographic Security of Individual Instances
FCT/ PTDC/EIA-CCO/099951/2008
Investigador
|
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
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
|
2010 - 2010 | IJUP2010 Análise Social e Linguística nas Memórias do Trabalho
IJUP/IPG162,
Investigador responsável
|
Universidade do Porto
Concluído
|
2007 - 2009 | ASA Automata, Semigroups and Applications,
PTDC/ MAT/ 65481/ 2006
Investigador
|
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
Investigador
|
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,
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
|
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
|
Concluído
|
1999 - 2001 | CORE Sistemas Formais e Complexidade Computacional
PRAXIS/ P/ EEI/ 14233/ 98
Investigador
|
|
1995 - 1998 | PROLOPPE Programação em Lógica Paralela com Extensões.
Praxis 3/3.1/TIT/24/94
Investigador
|
Concluído
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
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) |
|
---|---|---|
2018/09/06 | Conversions from REs to nfas and dfas: a Taxonomy and Average Complexity | DLT's Satellite Workshop in Kyoto
(Kyoto, Japão)
|
2016 | On the dissimilarity operation on finite languages | NCMA 2016, Eighth Workshop on Non-Classical Models of Automata and Applications
(Debrecen, Hungria)
|
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, Canadá)
|
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)
|
Orientação
Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
---|---|---|
2006 - 2026 | GerExa:uma plataforma para a manipulação de exercícios e exames em XML
Orientador
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2019/10 - 2020/01 | Testing determinism of Regular expressions
Orientador
|
Mestrado Integrado de Redes e Sistemas Informáticos (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2019/03 - 2019/07 | Degree of Ambiguity in Finite Automata
Coorientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Transducers and 2D Regular Expressions
Orientador
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2018 - 2018 | Significant Classes of NFA and their Random Generation
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2017 - 2017 | Autómatos não determinísticos injectivos
Coorientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2015/09 - 2016/06 | GUItar: ambiente gráfico para manipuladores de autómatos
Coorientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2016 - 2016 | Implementação de algoritmos para transduções
Orientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2016 - 2016 | Autómatos e Expressões Regulares para Transduções
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
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.
Coorientador
|
Programa Doutoral em Ciência de Computadores (Doutoramento) |
2015/02 - 2015/04 | Implementation of decision procedures for KAT and SKAT using BDDs
Orientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2015 - 2015 | Manipulation of Extended Regular expressions.
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014/10 - 2014/12 | Conversion of extended regular expressions to alternating finite automata
Orientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2013/12 - 2014/08 | Decidable procedures for Concurrent Kleene Algebras
Orientador
|
Project AVIACC , FCT PTDC/ EIA-CCO/ 117590/2010 (Iniciação científica) |
2013 - 2013 | Implementation of automata and KAT terms equivalence
algorithms
Orientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2013 - 2013 | Conversão de expressões KAT para autómatos não determinísticos
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2013 | DesCo: a Web Information System For Description Complexity Results
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2013 | Towards certified program logics for the verification of imperative programs
Orientador
|
Programa Doutoral MAP-I (Doutoramento) |
2012 - 2012 | MinFA and Res: minimal NFAs and extended regular expressions
Coorientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2012 - 2012 | Organização de Descrições arquivísticas
Orientador
|
Licenciatura em Ciência de Computadores. (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2012 | Yappy: parser GLR
Coorientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 - 2012 | Interoperacionalidade do GUItar
Coorientador
|
Licenciatura em Ciência de Computadores. (Licenciatura/Bacharelato) |
2012 - 2012 | Contribuição para o Desenvolvimento de um Sistema de Routing
Coorientador
|
Mestrado em Engenharia de Redes em Sistemas Informáticos (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2011 - 2012 | Decision Algorithms for Kleene Algebra with Tests and Hoare Logic
Orientador
|
Mestrado em Ciência de Computadores (Mestrado) |
2011 - 2011 | Desenvolvimento do GUitar em QT
Coorientador
|
|
2011 - 2011 | Sistema de Informação Web para resultados sobre
complexidade descritiva
Coorientador
|
Universidade do Porto Centro de Matemática, Portugal
|
2011 - 2011 | Verificação de programas Ada usando Autómatos
temporizados
Orientador
|
Universidade do Porto, Portugal
|
2011 - 2011 | Arquivo Escolar
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado) |
2007 - 2011 | Equivalence of regular languages: an algorithmic approach and complexity analysis,
Orientador
|
Programa doutoral em Ciência de Computadores (Doutoramento)
Universidade do Porto Faculdade de Ciências, Portugal
|
2010 - 2010 | Estudo de extensões da linguagem do Why para
Python
Coorientador
|
Universidade do Porto, Portugal
|
2010 - 2010 | Métodos de obtenção de expressões regulares
pequenas
Coorientador
|
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
2010 - 2010 | ImageBrowser
Orientador
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | An Interactive System for Automata Manipulations
Orientador
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Inferência de tipos em Python
Coorientador
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2010 | Towards Automata Diagram Drawings
Coorientador
|
Mestrado em Ciência de Computadores (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2009 | Obtenção de autómatos finitos não determinísticos
pequenos
Coorientador
|
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
Orientador
|
IJUP (Iniciação científica)
Universidade do Porto, Portugal
|
2009 - 2009 | Obtenção de autómatos não determinísticos
pequenos e minimais
Coorientador
|
Mestrado em Engenharia de Redes e Sistemas Informáticos (Licenciatura/Bacharelato) |
2009 - 2009 | Classificação e indexação de documentos associados a
entrevistas
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 - 2009 | Livraria Poetria on-line
Orientador
|
Licenciatura em Ciência de Computadores. (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2008 - 2008 | Visualização e edição de diagramas de autómatos
finitos
Coorientador
|
Projecto ASA (Iniciação científica)
Universidade do Porto, Portugal
|
2008 - 2008 | CGM: ambiente interactivo para
a manipulação de gramáticas independentes de contexto
Coorientador
|
Universidade do Porto Faculdade de Ciências, Portugal
|
2007 - 2007 | Desenvolvimento de tecnologias XML para a indexação e
pesquisa em documentos
Orientador
|
Licenciatura em Ciência de Computadores. (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2007 - 2007 | Analisador Sintáctico GLR para o Yappy
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2005 - 2007 | Logic frameworks for reasoning about emotions in BDI Agents
Orientador
|
Mestrado em Informática (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 - 2006 | Manipulação de fórmulas de lógica proposicional em
Python
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 - 2006 | Ferramentas para geração e enumeração de linguagens
regulares
Coorientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2005 - 2005 | Métodos de conversão de autómatos finitos em expressões
regulares pequenas
Coorientador
|
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
Coorientador
|
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal
|
2005 - 2005 | Ferramentas WEB para acesso a um thesaurus
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 - 2005 | Specification of a Language for Timetabling Problems,
Coorientador
|
Mestrado em Informática (Mestrado) |
2004 - 2005 | Obtenção de expressões regulares pequenas a partir de autómatos finitos.
Coorientador
|
Mestrado de Informática (Mestrado)
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
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 - 2004 | Sistema de informação para a gestão de
pessoas e atividades da UPP
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 - 2003 | Automatic: editor de diagramas de autómatos finitos
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
2001 - 2001 | Desenvolvimento Centro de Informação da Universidade
Popular do Porto
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
1998 - 1998 | Gestão da base de dados da biblioteca do CIUP
Orientador
|
Licenciatura em Ciência de Computadores (Licenciatura/Bacharelato)
Universidade do Porto Faculdade de Ciências, Portugal
|
Organização de evento
Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
---|---|---|
2019 - Atual | FM 2019, 3rd World Congress on Formal Methods. Porto, 7-11/10/2019 Co-presidente das Workshops e Tutorials. (2019 - 2019)
Congresso (Membro da Comissão Organizadora)
|
|
1993 - Atual | 6th Portuguese Conference on Artificial Intelligence, Porto (1993/10)
Conferência (Membro da Comissão Organizadora)
|
|
2021/08/16 - 2021/08/20 | 25th International Conference on Developments of Language Theory (2021/08/16 - 2021/08/20)
Conferência (Presidente da Comissão Organizadora)
|
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)
Conferência (Membro da Comissão Científica)
|
|
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)
Conferência (Membro da Comissão Científica)
|
|
2019 - 2019 | DCFS 2019, 21th International Workshop on Descriptional Complexity of Formal Systems, Kosice, Slovakia. 17–19 July, 2019.
(2019 - 2019)
Conferência (Membro da Comissão Científica)
|
|
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)
Conferência (Membro da Comissão Científica)
|
|
2017 - 2017 | 22nd International Conference on Implementation and Application of Automata (CIAA 2017), Paris, France. (2017 - 2017)
Conferência (Membro da Comissão Científica)
|
|
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)
Conferência (Membro da Comissão Científica)
|
|
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)
Conferência (Membro da Comissão Organizadora)
|
|
2016 - 2016 | FSCD 2016, 1st International Conference Formal Structures for Computation and Deduction, 22-26, June, Porto, Portugal. (2016)
Conferência (Membro da Comissão Organizadora)
|
|
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)
Oficina (workshop) (Presidente da Comissão Organizadora)
|
|
2014 - 2014 | 19th International Conference on Implementation and Application of Automata (CIAA 2014), Giessen, Germany. Membro da comissão
de programa. (2014 - 2014)
Conferência (Membro da Comissão Científica)
|
|
2014 - 2014 | 6th Non-Classical Models of Automata and Applications, NCMA 2014, Kassel, Germany. Membro da comissão de programa.
(2014 - 2014)
Oficina (workshop) (Membro da Comissão Científica)
|
|
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)
Simpósio (Membro da Comissão Científica)
|
|
2014 - 2014 | 10th International Workshop on Automated Deduction in Geometry, Coimbra, Portugal. (2014)
Oficina (workshop) (Membro da Comissão Organizadora)
|
|
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)
Conferência (Membro da Comissão Científica)
|
|
2013 - 2013 | 15th International Workshop on Descriptional Complexity of Formal Systems, London,Ontario, Canada. Membro da comissão de programa. (2013 - 2013)
Oficina (workshop) (Membro da Comissão Científica)
|
|
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)
Simpósio (Membro da Comissão Científica)
|
|
2012 - 2012 | 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal. Co-presidente da
Comissão de Programa.
(2012 - 2012)
Conferência (Membro da Comissão Científica)
|
|
2012 - 2012 | 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portugal.Co-presidente da Comissão de Programa. (2012 - 2012)
Oficina (workshop) (Membro da Comissão Científica)
|
|
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)
Simpósio (Membro da Comissão Científica)
|
|
2012 - 2012 | 17th International Conference on Implementation and Application of Automata (CIAA 2012), Porto, Portugal (2012 - 2012)
Conferência (Presidente da Comissão Organizadora)
|
|
2012 - 2012 | 14th International Workshop on Descriptional Complexity of Formal Systems, Braga, Portuga (2012 - 2012)
Oficina (workshop) (Presidente da Comissão Organizadora)
|
|
2011 - 2011 | 3rd Non-Classical Models of Automata and Applications, NCMA 2011. Membro da comissão de programa. (2011 - 2011)
Oficina (workshop) (Membro da Comissão Científica)
|
|
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)
Simpósio (Membro da Comissão Científica)
|
|
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)
Simpósio (Membro da Comissão Científica)
|
|
1990 - 1990 | 2a ¯ Escola Avan ¸cada de Inteligˆencia Artificial, EAIA, (1990 - 1990)
Encontro (Membro da Comissão Organizadora)
|
Júri de grau académico
Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
---|---|---|
2020/06/05 | OCaml-FLAT on the Ocsigen framework
Arguente principal
|
Rita Pedroso Macedo (Mestrado)
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia, Portugal
|
2020/01/08 | Formally Verified Bug-free Implementations of Logical Algorithms
Arguente
|
Pedro Miguel Laforêt Barroso (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
2018 | Transducers and 2D Regular Expressions
Orientador
|
João Rebelo Pires (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2016 | Rough Approximations in Varieties of Regular Languages
Arguente principal
|
Gabriela Susana Martin Torres (Doutoramento) |
2015 | Manipulation of Extended Regular Expressions with Derivatives
Orientador
|
Rafaela Carolina Ribeiro Bastos (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2014 | Sistemas de Pergunta-Resposta para a Web semântica
Vogal
|
Dora Regina Oliveira Melo (Doutoramento) |
2014 | Programming with Sequence and Context Variables: Foundations and Applications
Vogal
|
Besik Dundua (Doutoramento)
Universidade do Porto, Portugal
|
2013 | Towards certified program logics for the verification of imperative programs
Orientador
|
David Miguel Ramalho Pereira (Doutoramento)
Universidade do Porto, Portugal
|
2013 | Web-base Knowledge System for Descriptional Complexity of Formal Languages
Orientador
|
Davide Pereira Nabais (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2012 | Lógica da separação e verificação formal de programas
Arguente
|
Isabel Maria Ventura Santos (Mestrado)
Universidade do Minho Escola de Ciências, Portugal
|
2011 | Equivalence of regular languages: an algorithmic approach and complexity analysis
Orientador
|
Marco André Almeida (Doutoramento)
Universidade do Porto, Portugal
|
2011 | Learning and testing stochastic discrete event systems
Arguente
|
André de Matos Pedro (Mestrado)
Universidade do Minho Escola de Engenharia, Portugal
|
2010 | An Interactive System for Automata manipulations
Orientador
|
José Daniel da Silva Alves (Mestrado) |
2009 | Visual Functional Programming
Arguente
|
José Miguel Ferreira Vilaça (Doutoramento)
Universidade do Minho, Portugal
|
2009 | On the Design of a “Galculator”
Arguente
|
Paulo Filipe Araújo da Silva (Doutoramento)
Universidade do Minho, Portugal
|
2009 | Space Aqua - Automated Qualification Framework for Space Applications
Arguente
|
Ricardo Alberto Teixeira Batista (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2009 | Crivo Quadrático
Vogal
|
José António Nunes Borges (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2008 | Votações Electrónicas e a Cifra de Paillier
Vogal
|
Alexandra Goreti Pinto Queirós (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2007 | XML Processing in Logic Programming,
Vogal
|
Jorge Manuel Neves Coelho (Doutoramento)
Universidade do Porto, Portugal
|
2007 | Logic frameworks for reasoning about emotions in BDI Agents
Orientador
|
David Miguel Ramalho Pereira (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 | BDI-based approach for the assessment of drivers’ decision-making in commuter scenarios.
Vogal
|
Rosaldo José Fernandes Rosseti (Outro)
Universidade do Porto, Portugal
|
2006 | Metodologia para o Desenvolvimento de uma Aplicação de Manipulação de Exercícios e Documentos Associados
Orientador
|
Ângela Cristina Marques de Oliveira (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2006 | Multi-Agent System for Turistic Agency
Presidente do júri
|
Guilherme Pereira (Mestrado)
Universidade do Porto, Portugal
|
2005 | Segurança Absoluta em Sistemas de Cifra de Chave Simétrica
Vogal
|
Liliana da Conceição Monteiro Salvador (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2005 | Obtenção de Expressões Regulares Pequenas a Partir de Autómatos Finitos
Orientador
|
José João Morais (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2004 | Sistema Multi-Agente para Visualização 3D de jogos de futebol robótico simulado
Presidente do júri
|
Sérgio Fernando Grilate Louro (Mestrado)
Universidade do Porto, Portugal
|
2004 | Arquitecturas de Agentes Emocionais
Presidente do júri
|
Luís António Diniz Fernandes de Morais Sarmento (Mestrado)
Universidade do Porto, Portugal
|
2003 | Useful Information
Vogal
|
Luis Filipe Coelho Antunes (Doutoramento)
Universidade do Porto, Portugal
|
2003 | Webneighbours: uma cache distribuída
usando um modelo P2P
Presidente do júri
|
Hugo Jorge Pinto Ribeiro (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Interfaces Web para aplicações
SCADA
Presidente do júri
|
Ricardo Jorge Nogueira Fernandes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Um Sistema Baseado na Separação de
Ambientes para Execução Distribuída de Prolog
Presidente do júri
|
Rolando da Silva Martins (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Canal SCADA na Web
Presidente do júri
|
Miguel Ferreira Pereira Gomes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2003 | Metodologia de Partilha de Dados entre
Sistemas Heterogéneos Usando XML
Presidente do júri
|
Rogério Filipe Pinho Ferreira (Mestrado) |
2003 | Extração de Elementos Relevantes em
Texto/Paginas da World Wide Web
Presidente do júri
|
João Paulo da Costa Cordeiro (Mestrado)
Universidade do Porto, Portugal
|
2002 | Processamento de XML em Prolog
Presidente do júri
|
Jorge Manuel Neves Coelho (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2002 | Aplicações da Complexidade de Kolmogorov à Criptografia
Presidente do júri
|
Pedro Miguel Figueiredo Medas (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2002 | Análise Automática de Logs em Sistemas Unix
Presidente do júri
|
Paula Marina Gonçalves Fonseca (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
2001 | Regras e Casos: Uma Abordagem à Aprendizagem Relacional Multi- Estratégia,
Vogal
|
Alneu de Andrade Lopes (Doutoramento)
Universidade do Porto, Portugal
|
2001 | Administração Centralizada de Grupos de Sistemas Unix
Presidente do júri
|
Mário João Gonçalves Antunes (Mestrado)
Universidade do Porto Faculdade de Ciências, Portugal
|
Arbitragem científica em conferência
Nome da conferência | Local da conferência | |
---|---|---|
2011 - Atual | Formal Methods, FM 2011. | |
2011 - Atual | 42th ACM Technical Symposium on Computer Science Education, SIGCSE 2011. | |
2020 - 2020 | CSL 2020, 28th International Conference on Computer Science Logic | |
2019 - 2019 | 44th International Symposium on Mathematical Foundations of Computer Sci- ence (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). |
Arbitragem científica em revista
Nome da revista (ISSN) | Editora | |
---|---|---|
2010 - Atual | International Journal of Foundations of Computer Science (1793-6373) | World Scientific |
2019 - 2019 | Acta Informatica | |
2017 - 2019 | Journal of Automata, Languages and Combinatorics | |
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 | |
2013 - 2013 | Information and Computation (1090-2651) | Elsevier |
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 |
Comissão de avaliação
Descrição da atividade Tipo de assessoria |
Instituição / Organização | Entidade financiadora | |
---|---|---|---|
2016 - Atual | Avaliador do Concurso de projectos de Cooperação Bilateral da FCT.
Avaliador
|
Fundação para a Ciência e a Tecnologia, Portugal | |
2017 - 2017 | Avaliador externo para propostas de actividades ao Fields Institute, Canada
Avaliador
|
Fields Institute for Research in Mathematical Sciences | |
2016 - 2016 | Avaliador do Concurso de Bolsas NSERC 2016 Discovery Grants, Canada.
Avaliador
|
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.
Avaliador
|
Fundação para a Ciência e a Tecnologia |
Membro de associação
Nome da associação | Tipo de participação | |
---|---|---|
2012 - Atual | IFIP - Grupo de trabalho 1.2 - Complexidade Descritiva | Membro |
Membro de comissão
Descrição da atividade Tipo de participação |
Instituição / Organização | |
---|---|---|
2019 - Atual | Steering Committee member of thr International Conference on Implementation and Application of Automata (CIAA).
Membro
|
|
2016 - Atual | Conselhos editorial de revista JALC- Journal of automata, languages and combinatorics
Membro
|
|
2014 - Atual | Membro da comissão coordenadora da Workshop on Non-classic models of automata and applications (NCMA).
Membro
|
Distinções
Prémio
2020 | Best paper award SOFSEM20 |