Identificação
Identificação pessoal
- Nome completo
- SIMÃO PATRÍCIO MELO DE SOUSA
Nomes de citação
- Simão Melo de Sousa
Identificadores de autor
- Ciência ID
- D719-2946-CFE8
- ORCID iD
- 0000-0001-9129-4136
Domínios de atuação
- Ciências Exatas - Ciências da Computação e da Informação
- Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática
Idiomas
Idioma | Conversação | Leitura | Escrita | Compreensão | Peer-review |
---|---|---|---|---|---|
Português | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Inglês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador independente (B1) | Utilizador proficiente (C1) | |
Francês | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | Utilizador proficiente (C1) | |
Espanhol; Castelhano | Utilizador elementar (A1) | Utilizador independente (B1) | Utilizador elementar (A1) | Utilizador elementar (A1) |
Formação
Grau | Classificação | |
---|---|---|
2015/10
Concluído
|
Agregação em Engenharia Informática (Título de Agregado)
Universidade da Beira Interior Faculdade de Engenharia, Portugal
"Provas de Programas - Arte e Engenho (título da Lição)" (TESE/DISSERTAÇÃO)
|
N/A |
2003/02/24
Concluído
|
Doctorat en Informatique (Doutoramento)
Université de Nice Sophia Antipolis, França
"Outils et techniques pour la vérification formelle de la plateforme JavaCard" (TESE/DISSERTAÇÃO)
|
Très Honorable |
1995/01/09
Concluído
|
D.E.A. Informatique Fondamentale (Mestrado)
Université d'Orléans, França
"Des systèmes d'aide à la preuve, COQ et Isabelle" (TESE/DISSERTAÇÃO)
|
Bien |
1994/06/01
Concluído
|
License /Maitrise Informatique Fondamentale (Maîtrise)
Université d'Orléans, França
|
AB |
Percurso profissional
Ciência
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2020/01/02 - Atual | Investigador (Investigação) | Nova-Lincs, Portugal |
2016/01/02 - 2019/12/31 | Investigador (Investigação) | Universidade de Évora Laboratório de Informática Sistemas e Paralelismo, Portugal |
2007/01/02 - 2015/12/31 | Investigador (Investigação) | Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
2007/01/02 - 2015/12/31 | Investigador (Investigação) | Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
1997/10/01 - 2007/12/31 | Investigador (Investigação) | Universidade da Beira Interior Centro de Matemática e Aplicações, Portugal |
Docência no Ensino Superior
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2023/09/01 - Atual | Professor Catedrático (Docente Universitário) | Universidade do Algarve, Portugal |
Universidade do Algarve, Portugal | ||
2017/07/06 - 2023/08/31 | Professor Associado (Docente Universitário) | Universidade da Beira Interior, Portugal |
Universidade da Beira Interior, Portugal | ||
2017 - 2019 | Professor Associado (Docente Universitário) | Universidade da Beira Interior, Portugal |
2015/10/09 - 2017/07/05 | Professor Auxiliar (Docente Universitário) | Universidade da Beira Interior, Portugal |
2013 - 2017 | Professor Auxiliar (Docente Universitário) | Universidade da Beira Interior, Portugal |
2003 - 2017 | Professor Auxiliar (Docente Universitário) | Universidade da Beira Interior, Portugal |
2008/04 - 2015/09/30 | Professor Auxiliar (Docente Universitário) | Universidade da Beira Interior, Portugal |
1997/10/01 - 2003/03/31 | Assistente (Docente Universitário) | Universidade da Beira Interior, Portugal |
1996/02/01 - 1996/07/31 | Monitor (Docente Universitário) | Universidade do Minho, Portugal |
Cargos e Funções
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
2015 - 2019 | Conselho geral ou orgão correspondente | Universidade da Beira Interior, Portugal |
2015 - 2018 | Conselho geral ou orgão correspondente | Universidade da Beira Interior, Portugal |
2016 - 2017 | Coordenação ou direção de centro de investigação, departamento ou equivalente | Universidade da Beira Interior, Portugal |
2016 - 2017 | Coordenação ou direção de centro de investigação, departamento ou equivalente | Universidade da Beira Interior, Portugal |
2013 - 2017 | Conselho científico/técnico-científico ou orgão correspondente | Universidade da Beira Interior, Portugal |
2013 - 2017 | Conselho científico/técnico-científico ou orgão correspondente | Universidade da Beira Interior, Portugal |
Outros
Categoria Profissional Instituição de acolhimento |
Empregador | |
---|---|---|
1996/01/02 - 1997/09/30 | Técnico Superior | Universidade Portucalense Infante Dom Henrique, Portugal |
Projetos
Bolsa
Designação | Financiadores | |
---|---|---|
2000/09/01 - 2003/02/28 | OUTILS ET TECHNIQUES POUR LA VALIDATION DE PROPRIÉTÉS DE SÉCURITÉ
SFRH/BD/790/2000
|
Fundação para a Ciência e a Tecnologia
Concluído
|
Projeto
Designação | Financiadores | |
---|---|---|
2022 - 2023 | LOX - Extending Learn-OCaml.
OSF/LOx
Investigador responsável
Universidade da Beira Interior, Portugal
Nova-Lincs, Portugal |
OCaml Software Foundation
Em curso
|
2021 - 2023 | GreenStamp: Mobile Energy services.
CENTRO-01-0247-FEDER-047256
Co-Investigador Responsável (Co-IR)
Universidade da Beira Interior, Portugal
Universidade de Coimbra, Portugal |
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
|
2021 - 2023 | HORUS: Plataforma inteligente para mapeamento e avaliação de competências
POCI-01-0247-FEDER-072235
Co-Investigador Responsável (Co-IR)
Capgemini Engineering, França
Universidade da Beira Interior, Portugal Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal |
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
|
2020 - 2022 | LEAF - Learning Foundations of Compuyer Science using OCaml
Investigador responsável
Universidade da Beira Interior, Portugal
Nova-Lincs, Portugal Universidade NOVA de Lisboa, Portugal |
OCaml Software Foundation
Concluído
|
2019 - 2022 | REDe FAROTIC - Fintech, CyberSecurity and Big Data technologies for regional entrepreneurship
Co-Investigador Responsável (Co-IR)
|
Concluído
|
2018 - 2022 | C4 - Competence Center in Cloud Computing. Linha 4.
Investigador responsável
Universidade da Beira Interior, Portugal
|
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
|
2018 - 2022 | C4 - Competence Center in Cloud Computing. Work Package 1.1
Investigador responsável
Universidade da Beira Interior, Portugal
|
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
|
2018 - 2022 | FRESCO - Formal Verification and Static Analysis of Tezos compliant Smart Contracts
Investigador responsável
Universidade da Beira Interior, Portugal
Nova-Lincs, Portugal |
Tezos Foundation
Concluído
|
2020 - 2021 | COPES, DSL for rapid prototyping, reasonning and simulation of consensus protocols and algorithms
Co-Investigador Responsável (Co-IR)
Universidade da Beira Interior, Portugal
Universidade NOVA de Lisboa, Portugal Nova-Lincs, Portugal |
Co-Enzime
Concluído
|
2018 - 2020 | FACTOR - A Functional Programming Approach to Teaching in Portuguese Foundational Computing Courses
Investigador responsável
Universidade da Beira Interior, Portugal
Universidade NOVA de Lisboa, Portugal Nova-Lincs, Portugal |
Tezos Foundation
Concluído
|
2014 - 2016 | QUIVVER - Centro de Competência em Qualidade de Processos em Engenharia de Software, Validação e Verificação de Software
Investigador responsável
Universidade da Beira Interior, Portugal
|
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
|
2012/05/01 - 2015/04/30 | Análise e Verificação de Programas Concorrentes Críticos
PTDC/EIA-CCO/117590/2010
Universidade do Minho, Portugal
Universidade do Minho Centro ALGORITMI, Portugal Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal Universidade do Porto Faculdade de Ciências, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2012 - 2014 | PROVA - From Requirements to Tests
QREN - PROVA
Investigador
Universidade da Beira Interior, Portugal
Universidade do Minho, Portugal Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal Universidade do Minho Laboratório de Software Confiável, Portugal |
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluído
|
2010/05/01 - 2013/09/30 | CANTE: Complexidade descriptiva e computacional de linguagens formais
PTDC/EIA-CCO/101904/2008
Universidade do Porto Faculdade de Ciências, Portugal
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/02/01 - 2013/01/31 | FAVAS: A FormAl Verification PlAtform for real-time Systems
PTDC/EIA-CCO/105034/2008
Universidade da Madeira Madeira Interactive Technologies Institute, Portugal
Universidade do Minho, Portugal Universidade da Beira Interior, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2010 - 2012 | PROSINAL - Rigorous Design, validation and certification of railways signaling systems
QREN-COMPETE
Investigador
Universidade da Beira Interior, Portugal
Efacec Power Solutions, Portugal Universidade do Porto, Portugal |
Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluído
|
2008/01/01 - 2011/06/30 | TRAMANET: Gestão do Tráfego e da Confiança em Redes Peer-to-Peer
PTDC/EIA/73072/2006
Universidade da Beira Interior, Portugal
|
Fundação para a Ciência e a Tecnologia
Concluído
|
2008/01/01 - 2011/03/31 | RESCUE, Execução Fiável e Segura de Programas em Sistemas Embebidos
PTDC/EIA/65862/2006
Universidade do Porto Faculdade de Ciências, Portugal
Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal Instituto Politécnico do Porto Instituto Superior de Engenharia do Porto, Portugal Universidade do Minho, Portugal Universidade da Beira Interior, Portugal |
Fundação para a Ciência e a Tecnologia
Concluído
|
2005/05/01 - 2008/06/30 | Sumarização Automática de Texto para Tecnologias Móveis
POSC/PLP/57438/2004
Universidade da Beira Interior, Portugal
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
|
Produções
Publicações
Artigo em conferência |
|
Artigo em revista |
|
Edição de livro |
|
Edição de número de revista |
|
Livro |
|
Outros
Outra produção |
|
Distinções
Outra distinção
2014 | Gold medal of the Imagine Cup - Portuguese Finals - Citizenship and Software design
Microsoft Portugal, Portugal
|
2014 | Finalist in the International Contest "Imagine Cup" - Citizenship and Software design
Microsoft Corp, Estados Unidos
|
2012 | Bronze medal of the Imagine Cup'Australia2012 - World wide finals - Software design
Microsoft Corp, Estados Unidos
|
2012 | Gold medal of the Imagine Cup - Portuguese Finals - Software design
Microsoft Portugal, Portugal
|
2012 | Second Prize - WinUbi2012 - Concursos de ideias da UBI
Universidade da Beira Interior, Portugal
|
2010 | Silver Medal of the Imagine cup - Portuguese finals - Software design Category
Microsoft Portugal, Portugal
|
2009 | Silver medal of the Imagine Cup - Portuguese finals - in the category of Software Design
Microsoft Portugal, Portugal
|
2004 | Projecto Inovador
Associação Empresarial e Comercial da Covilhã, Belmonte e Penamacor , Portugal
|