Identificação
Identificação pessoal
- Nome completo
- Francisco Manuel Gonçalves Coelho
Nomes de citação
- Coelho, Francisco Manuel Gonçalves
- Coelho, F.
- Coelho, Francisco
Identificadores de autor
- Ciência ID
- AF10-03F3-E074
- ORCID iD
- 0000-0002-3586-8745
- Google Scholar ID
- ioTSiDcAAAAJ
- Scopus Author Id
- 34569120100
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação - Ciências da Computação
- Ciências Exatas - Matemática - Matemática Pura
Idiomas
| Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
|---|---|---|---|---|---|
| Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C2) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) |
| Português (Idioma materno) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2006
Concluído
|
Ciências da Computação (Doutoramento)
Especialização em Inteligência Artificial
Universidade de Lisboa Faculdade de Ciências, Portugal
"Emergência e Colapso de Poder" (TESE/DISSERTAÇÃO)
|
20 |
|
1997
Concluído
|
Matemática (Mestrado)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Polinómios, Réguas e Compasso.Problemas de Decidibilidade e Computabilidade." (TESE/DISSERTAÇÃO)
|
17 |
|
1993
Concluído
|
Matemática (Licenciatura)
Universidade de Lisboa Faculdade de Ciências, Portugal
|
13 |
Percurso profissional
Ciência
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2021 - Atual | Investigador (Investigação) | Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
Docência no Ensino Superior
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2016 - 2019 | Professor Auxiliar (Docente Universitário) | Universidade de Évora, Portugal |
| 2013 - 2016 | Professor Auxiliar (Docente Universitário) | Universidade de Évora Escola de Ciências e Tecnologia, Portugal |
| 2006 - 2013 | Professor Auxiliar (Docente Universitário) | Universidade de Évora, Portugal |
| 1996 - 2006 | Assistente (Docente Universitário) | Universidade de Évora, Portugal |
| 1996 - 1996 | Assistente (Docente Ensino Superior Politécnico) | Instituto Politécnico de Leiria, Portugal |
Projetos
Bolsa
| Designação | Financiadores | |
|---|---|---|
| 2025 - Atual | Digital Twins for Smart, Sustainable Tourism and Cultural Heritage Preservation
Investigador
|
Fundação para a Ciência e a Tecnologia
Em curso
|
| 2025 - Atual | Human-guided collaborative multi-objective design of explainable, fair and privacy-preserving AI for digital health
Investigador
Universidade de Évora, Portugal
|
European Commission Marie Sklodowska-Curie Actions
Em curso
|
| 2024 - Atual | ATTRACT EDIH
Investigador
Universidade de Évora, Portugal
|
Em curso
|
| 1995/02/01 - 1996/01/31 | A TEORIA DA COMPUTABILIDADE E ALGUMAS APLICAÇÕES A QUESTÕES DE INDECIBILIDADE
PRAXIS XXI/BM/1680/94
Bolseiro de Mestrado
Universidade de Lisboa Faculdade de Ciências, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2020/01/01 - 2024/12/31 | NOVA Laboratory for Computer Science and Informatics
UIDB/04516/2020
Universidade Nova de Lisboa Laboratório para a Ciência da Computação e Informática, Portugal
Universidade Nova de Lisboa, Portugal Universidade de Évora, Portugal Universidade Nova de Lisboa Associação para a Inovação e Desenvolvimento da FCT, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2022/01/21 - 2022/04/21 | JuPy+HPC | High Level Languages on HPC
Investigador responsável
Universidade de Évora, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2019/01/01 - 2019/12/31 | Laboratório de Informática, Sistemas e Paralelismo
UID/CEC/04668/2019
Investigador
Universidade de Évora, Portugal
Universidade de Évora Laboratório de Informática Sistemas e Paralelismo, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2016/06/01 - 2018/12/31 | Laboratório de Informática, Sistemas e Paralelismo
UID/CEC/4668/2016
Universidade de Évora Laboratório de Informática Sistemas e Paralelismo, Portugal
Universidade da Beira Interior, Portugal Universidade do Algarve, Portugal Universidade de Évora, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
| 2011/01/01 - 2013/12/31 | Projecto Estratégico - UI 434 - 2011-2012
PEst-OE/EEI/UI0434/2011
Investigador
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Capítulo de livro |
|
| Edição de livro |
|
| Livro |
|
| Pré-impressão |
|
| Tese / Dissertação |
|
Outros
| Software |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2025 | Algebra for Search Engines | Seminars of the CIMA/PhD program on Mathematics
Universidade de Évora, Departamento de Matemática
|
| 2024/01/09 | Stochastic Answer Set Programming - A Research Program | AESIM School “Mathematics for Health Science”
Mathematics Department of the BITS (Birla Institute of Technology and Science) Goa campus (Índia)
|
| 2023/04/19 | Dia da ECT - Fronteiras da Inteligência Artificial | Festival de Ciência '23 - Dia da Escola de Ciências e Tecnologia
Universidade de Évora, Escola de Ciências e Tecnologia (Évora, Portugal)
|
| 2023/03/27 | Digital Humanities with Julia - An overview | Programming and Data Infrastructure in Digital Humanities
Cátedra Computação de Elevado Desempenho (Évora, Portugal)
|
Orientação
| Título / Tema Papel desempenhado |
Curso (Tipo) Instituição / Organização |
|
|---|---|---|
| 2025 - Atual | Exploring Computation in Weighted Answer Set Programming
Orientador
|
Doutoramento em Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
|
| 2025 - Atual | Application of Digital Twins for the management of urban solid waste (tentative)
Coorientador
|
Doutoramento em Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
|
| 2025 - Atual | Physics-Informed Neural Networks for Free-Boundary Solutions of the American Option Black-Scholes Equation
Orientador
|
Mestrado em Engenharia Informática (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
|
| 2023 - Atual | Answer Set Programming for Medical Records Processing and Analysis
Orientador de Isaías Moisés
|
Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
|
| 2023 - Atual | Unit testing system for the visual programming language "Scratch", oriented towards the pedagogical practice.
Orientador
|
Doutoramento em Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
|
| 2023 - Atual | Data Analysis and Visualisation in Astrophysics
Coorientador
|
Mestrado em Engenharia Informática (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
|
| 2022 - Atual | Utilização de aplicação móvel como estímulo ao engajamento cívico nas cidades inteligentes
Orientador de Vanderley Gondim
|
Informática (Doutoramento)
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal
|
| 2022 - Atual | SetMindset
Orientador de Bruno Encarnação
|
Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
|
| 2025 - 2025 | CodinSpace: An astronomy-inspired serious game for self-learning programming
Orientador
|
Mestrado em Engenharia Informática (Mestrado)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
|
| 2023 - 2023 | Supergame, a system with data collection to support game recommendation
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
|
| 2022 - 2022 | E-learning Imersivo - Atividades na perspetiva da primeira pessoa
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
|
| 2022 - 2022 | Realidade Virtual e e-Aprendizagem: Especificação de Perguntas de Escolha Múltipla
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
|
| 2018 - 2018 | Online Learning and Dropout
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
|
| 2016 - 2016 | "The X in balance", a serious game to learn how to solve mathematical equations
Orientador
|
Engenharia Informática (Mestrado)
Universidade de Évora Escola de Ciências e Tecnologia, Portugal
|
| 2008 - 2008 | Autómatos Recursivos
Orientador de Filipe dos Santos Vieira
|
Mestrado em Engenharia Informática (Mestrado)
Universidade de Évora, Portugal
|
Organização de evento
| Nome do evento Tipo de evento (Tipo de participação) |
Instituição / Organização | |
|---|---|---|
| 2025/08/01 - 2025/10/31 | DECLARE 2025 (2025/09/24 - 2025/09/24)
Conferência (Presidente da Comissão Organizadora)
|
Universidade de Évora Departamento de Informática, Portugal |
| 2025/04/01 - 2025/05/31 | The High-Performance Computing Chair: Transforming Knowledge Through Advanced Computing (2025/05/26 - 2025/05/28)
Conferência (Membro da Comissão Organizadora)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2025 - 2025 | Introduction to Markdown (2025/04/11)
Oficina (workshop) (Coorganizador)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2025 - 2025 | Introduction to Parallel Programming with Julia (2025/06/14 - 2025/06/21)
Oficina (workshop) (Coorganizador)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2025 - 2025 | Motivation for Parallel Programming with Julia (2025/05/12 - 2025/05/12)
Oficina (workshop) (Coorganizador)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2025 - 2025 | Introduction to Programming with Julia (2025/03/08 - 2025/03/15)
Oficina (workshop) (Coorganizador)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2025 - 2025 | First Steps to Learn Julia (2025/02/22 - 2025/02/22)
Oficina (workshop) (Coorganizador)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2024 - 2024 | Programming in Julia for Digital Humanities & Social Sciences (2024/01/27 - 2024/02/17)
Oficina (workshop) (Coorganizador)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2023/03/27 - 2023/03/29 | Programming and Data Infrastructure in Digital Humanities (2023/03/27 - 2023/03/29)
Conferência (Membro da Comissão Organizadora)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2023 - 2023 | Programming in Julia for Digital Humanities & Non-technical Sciences (2023/04/13 - 2023/04/29)
Oficina (workshop) (Coorganizador)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal |
| 2010/01/16 - 2010/12/01 | MIUP 2010 (2010/10/16 - 2010/10/16)
Outro (Presidente da Comissão Organizadora)
|
Universidade de Évora Departamento de Informática, Portugal |
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2025/05/12 - Atual | Motivation for Parallel Programming with Julia
Oficina (workshop)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
|
| 2025/02/22 - Atual | First Steps to Learn Julia
Oficina (workshop)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
|
| 2025/06/14 - 2025/06/21 | Introduction to Parallel Programming with Julia
Oficina (workshop)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
|
| 2025/04/11 - 2025/04/11 | Introduction to Markdown
Oficina (workshop)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
|
| 2025/03/08 - 2025/03/15 | Introduction to Programming with Julia
Oficina (workshop)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
|
| 2024/01/27 - 2024/02/17 | Programming in Julia for Digital Humanities & Social Sciences
Oficina (workshop)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
|
| 2023/04/13 - 2023/04/29 | Programming in Julia for Digital Humanities & Non-technical Sciences
Oficina (workshop)
|
Universidade de Évora - Cátedra Computação de Elevado Desempenho, Portugal
|
Júri de grau académico
| Tema Tipo de participação |
Nome do candidato (Tipo de grau) Instituição / Organização |
|
|---|---|---|
| 2025/06/15 | Unrestricted grammars, context-sensitive grammars and context-free grammars in OCamlFLAT/OFLAT
Arguente principal
|
Pedro Guilherme Frazao Carlos (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
| 2024/06/19 | EzASP – Making Learning Answer Set Programming Easier
Arguente principal
|
Ramiro Miguel Ribeiro Henriques (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
| 2023/12/13 | Máquinas de Turing em OCAML-FLAT/OFLAT
Arguente principal
|
Miguel de Sousa Lourenço (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
| 2023/12/05 | Supergame, a system with data collection to support game recommendation
Orientador
|
Francisco Ferreira Canhão Rodrigues (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
|
| 2023 | Supergame, a system with data collection to support game recommendation
Orientador
|
Francisco Ferreira Canhão Rodrigues (Mestrado)
Universidade de Évora, Portugal
|
| 2023 | Máquinas de Turing em OCaml-Flat/OFLAT
Arguente principal
|
Miguel Lourenço (Mestrado)
Universidade Nova de Lisboa Departamento de Informática, Portugal
|
| 2022 | Realidade Virtual e e-Aprendizagem: Especificação de Perguntas de Escolha Múltipla
Orientador
|
Tony Babej Chaveiro (Mestrado)
Universidade de Évora, Portugal
|
| 2022 | E-learning Imersivo - Atividades na perspetiva da primeira pessoa
Orientador
|
Carlos Manuel da Silva Figueiredo (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
|
| 2018 | Online Learning and Dropout
Orientador
|
Rita Sofia Leitão (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
|
| 2016/07/19 | "The X in balance", a serious game to learn how to solve mathematical equations
Orientador
|
Yusra Tehreem (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
|
| 2014 | Plataforma de Gestão de culturas hidropónicas
Presidente do júri
|
Domingos Manuel Baptista de Castro Martins (Mestrado)
Universidade de Évora Departamento de Informática, Portugal
|
| 2013 | Lattices Related to Conway’s Construction
Arguente
|
Cátia Sofia Peniche Lente Dinis Dias (Doutoramento)
Universidade de Évora, Portugal
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal |
| 2013 | EcoJukeBox
Arguente principal
|
João Lobo (Mestrado)
Universidade de Lisboa Departamento de Engenharia Informática, Portugal
|
| 2010 | Diplomacy - Base de Dados de Movimentos no Controlo de Províncias
Arguente principal
|
Rui Jorge Gregório Deyllot (Mestrado)
Universidade de Aveiro, Portugal
|
| 2010 | Simplificação de Processos com Cartão de Cidadão
Arguente principal
|
Mário Jorge Costa Mourão (Mestrado)
Universidade de Évora, Portugal
|
| 2010 | Autómatos Recursivos
Orientador
|
Filipe dos Santos Vieira (Mestrado)
Universidade de Évora, Portugal
|
Arbitragem científica em revista
| Nome da revista (ISSN) | Editora | |
|---|---|---|
| 2022 - Atual | Applied Soft Computing (1568-4946) |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 2018 - Atual | Autómatos e Linguagens de Programação | Licenciatura em Engenharia Informática (Licenciatura) | Universidade de Évora Departamento de Informática, Portugal |
| 2018 - Atual | Desenho de Jogos | Mestrado em Engenharia Informática (Mestrado) | Universidade de Évora Departamento de Informática, Portugal |
| 2018 - Atual | Game Design | Mestrado em Engenharia Informática (E-Learning) (Mestrado) | Universidade de Évora Departamento de Informática, Portugal |
| 2018 - Atual | Lógica e Computação | Licenciatura em Engenharia Informática (Licenciatura) | Universidade de Évora Departamento de Informática, Portugal |
| 2010 - Atual | Computação Gráfica | Licenciatura em Engenharia Informática (Licenciatura) | Universidade de Évora Departamento de Informática, Portugal |
Entrevista / Programa (rádio / tv)
| Programa | Tema | |
|---|---|---|
| 2025/10/14 - 2025/10/14 | 90 segundos de Ciência | Inteligência Artificail |
Membro de comissão
| Descrição da atividade Tipo de participação |
Instituição / Organização | |
|---|---|---|
| 2025/05/01 - Atual | Work group for the creation of the MSc course "Mestrado em Engenharia Informática (E-Learning)".
Membro
|
Universidade de Évora Departamento de Informática, Portugal |
| 2024 - Atual | Work group for the creation of the PhD course "Doutoramento em Informática".
Membro
|
Universidade de Évora Instituto de Investigação e Formação Avançada, Portugal |
| 2012/11/05 - Atual | Recpad'21
Membro
|
Universidade de Évora Departamento de Informática, Portugal |
Outro júri / avaliação
| Descrição da atividade | Instituição / Organização | |
|---|---|---|
| 2023 - Atual | Bolsa de Iniciação à Investigação | Universidade de Évora, Portugal |
| 2021/01/01 - 2025/12/31 | O Desvendar da Pintura Mural de Almada Negreiros (1938-1956) | Universidade de Évora, Portugal |
