Identification
Personal identification
- Full name
- SIMÃO PATRÍCIO MELO DE SOUSA
Citation names
- Simão Melo de Sousa
Author identifiers
- Ciência ID
- D719-2946-CFE8
- ORCID iD
- 0000-0001-9129-4136
Knowledge fields
- Exact Sciences - Computer and Information Sciences
- Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics
Languages
Language | Speaking | Reading | Writing | Listening | Peer-review |
---|---|---|---|---|---|
Portuguese | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
English | Advanced (C1) | Advanced (C1) | Intermediate (B1) | Advanced (C1) | |
French | Advanced (C1) | Advanced (C1) | Advanced (C1) | Advanced (C1) | |
Spanish; Castilian | Beginner (A1) | Intermediate (B1) | Beginner (A1) | Beginner (A1) |
Education
Degree | Classification | |
---|---|---|
2015/10
Concluded
|
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)" (THESIS/DISSERTATION)
|
N/A |
2003/02/24
Concluded
|
Doctorat en Informatique (Doutoramento)
Université de Nice Sophia Antipolis, France
"Outils et techniques pour la vérification formelle de la plateforme JavaCard" (THESIS/DISSERTATION)
|
Très Honorable |
1995/01/09
Concluded
|
D.E.A. Informatique Fondamentale (Mestrado)
Université d'Orléans, France
"Des systèmes d'aide à la preuve, COQ et Isabelle" (THESIS/DISSERTATION)
|
Bien |
1994/06/01
Concluded
|
License /Maitrise Informatique Fondamentale (Maîtrise)
Université d'Orléans, France
|
AB |
Affiliation
Science
Category Host institution |
Employer | |
---|---|---|
2020/01/02 - Current | Researcher (Research) | Nova-Lincs, Portugal |
2016/01/02 - 2019/12/31 | Researcher (Research) | Universidade de Évora Laboratório de Informática Sistemas e Paralelismo, Portugal |
2007/01/02 - 2015/12/31 | Researcher (Research) | Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
2007/01/02 - 2015/12/31 | Researcher (Research) | Universidade do Porto Laboratório de Inteligência Artificial e Ciência de Computadores, Portugal |
1997/10/01 - 2007/12/31 | Researcher (Research) | Universidade da Beira Interior Centro de Matemática e Aplicações, Portugal |
Teaching in Higher Education
Category Host institution |
Employer | |
---|---|---|
2023/09/01 - Current | Full Professor (University Teacher) | Universidade do Algarve, Portugal |
Universidade do Algarve, Portugal | ||
2017/07/06 - 2023/08/31 | Associate Professor (University Teacher) | Universidade da Beira Interior, Portugal |
Universidade da Beira Interior, Portugal | ||
2017 - 2019 | Associate Professor (University Teacher) | Universidade da Beira Interior, Portugal |
2015/10/09 - 2017/07/05 | Assistant Professor (University Teacher) | Universidade da Beira Interior, Portugal |
2013 - 2017 | Assistant Professor (University Teacher) | Universidade da Beira Interior, Portugal |
2003 - 2017 | Assistant Professor (University Teacher) | Universidade da Beira Interior, Portugal |
2008/04 - 2015/09/30 | Assistant Professor (University Teacher) | Universidade da Beira Interior, Portugal |
1997/10/01 - 2003/03/31 | Assistant (University Teacher) | Universidade da Beira Interior, Portugal |
1996/02/01 - 1996/07/31 | Tutor (University Teacher) | Universidade do Minho, Portugal |
Positions / Appointments
Category Host institution |
Employer | |
---|---|---|
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 |
Others
Category Host institution |
Employer | |
---|---|---|
1996/01/02 - 1997/09/30 | Técnico Superior | Universidade Portucalense Infante Dom Henrique, Portugal |
Projects
Grant
Designation | Funders | |
---|---|---|
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
Concluded
|
Contract
Designation | Funders | |
---|---|---|
2022 - 2023 | LOX - Extending Learn-OCaml.
OSF/LOx
Principal investigator
Universidade da Beira Interior, Portugal
Nova-Lincs, Portugal |
OCaml Software Foundation
Ongoing
|
2021 - 2023 | GreenStamp: Mobile Energy services.
CENTRO-01-0247-FEDER-047256
Co-Principal Investigator (Co-PI)
Universidade da Beira Interior, Portugal
Universidade de Coimbra, Portugal |
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluded
|
2021 - 2023 | HORUS: Plataforma inteligente para mapeamento e avaliação de competências
POCI-01-0247-FEDER-072235
Co-Principal Investigator (Co-PI)
Capgemini Engineering, France
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
Concluded
|
2020 - 2022 | LEAF - Learning Foundations of Compuyer Science using OCaml
Principal investigator
Universidade da Beira Interior, Portugal
Nova-Lincs, Portugal Universidade NOVA de Lisboa, Portugal |
OCaml Software Foundation
Concluded
|
2019 - 2022 | REDe FAROTIC - Fintech, CyberSecurity and Big Data technologies for regional entrepreneurship
Co-Principal Investigator (Co-PI)
|
Concluded
|
2018 - 2022 | C4 - Competence Center in Cloud Computing. Linha 4.
Principal investigator
Universidade da Beira Interior, Portugal
|
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluded
|
2018 - 2022 | C4 - Competence Center in Cloud Computing. Work Package 1.1
Principal investigator
Universidade da Beira Interior, Portugal
|
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluded
|
2018 - 2022 | FRESCO - Formal Verification and Static Analysis of Tezos compliant Smart Contracts
Principal investigator
Universidade da Beira Interior, Portugal
Nova-Lincs, Portugal |
Tezos Foundation
Concluded
|
2020 - 2021 | COPES, DSL for rapid prototyping, reasonning and simulation of consensus protocols and algorithms
Co-Principal Investigator (Co-PI)
Universidade da Beira Interior, Portugal
Universidade NOVA de Lisboa, Portugal Nova-Lincs, Portugal |
Co-Enzime
Concluded
|
2018 - 2020 | FACTOR - A Functional Programming Approach to Teaching in Portuguese Foundational Computing Courses
Principal investigator
Universidade da Beira Interior, Portugal
Universidade NOVA de Lisboa, Portugal Nova-Lincs, Portugal |
Tezos Foundation
Concluded
|
2014 - 2016 | QUIVVER - Centro de Competência em Qualidade de Processos em Engenharia de Software, Validação e Verificação de Software
Principal investigator
Universidade da Beira Interior, Portugal
|
Comissão de Coordenação e Desenvolvimento Regional do Centro
Concluded
|
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
Concluded
|
2012 - 2014 | PROVA - From Requirements to Tests
QREN - PROVA
Researcher
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
Concluded
|
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
Concluded
|
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
Concluded
|
2010 - 2012 | PROSINAL - Rigorous Design, validation and certification of railways signaling systems
QREN-COMPETE
Researcher
Universidade da Beira Interior, Portugal
Efacec Power Solutions, Portugal Universidade do Porto, Portugal |
Comissao de Coordenacao e Desenvolvimento Regional do Norte
Concluded
|
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
Concluded
|
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
Concluded
|
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
Concluded
|
Outputs
Publications
Book |
|
Conference paper |
|
Edited book |
|
Journal article |
|
Journal issue |
|
Other
Other output |
|
Distinctions
Other distinction
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, United States
|
2012 | Bronze medal of the Imagine Cup'Australia2012 - World wide finals - Software design
Microsoft Corp, United States
|
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
|