Curriculum Vitae
Juliana Andreia Marques Prazeres da Cunha
Identificação
Identificação pessoal
- Nome completo
- Juliana Andreia Marques Prazeres da Cunha
Nomes de citação
- Cunha, Juliana
Identificadores de autor
- Ciência ID
- 9D1E-9BD4-3F9E
- ORCID iD
- 0009-0002-5385-9858
- Scopus Author Id
- 58490284000
Endereços de correio eletrónico
- juliana.cunha@ua.pt (Profissional)
Domínios de atuação
- Ciências Exatas - Matemática
- 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 |
|---|---|---|---|---|---|
| Português (Idioma materno) | |||||
| Inglês | Utilizador proficiente (C1) | Utilizador independente (B2) | Utilizador independente (B2) | Utilizador proficiente (C1) | Utilizador independente (B2) |
| Alemão | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) | Utilizador elementar (A1) |
Formação
| Grau | Classificação | |
|---|---|---|
|
2023/07/01 - 2026/07/30
Em curso
|
Doctorate in Mathematics (Doutoramento)
Universidade de Aveiro, Portugal
|
|
|
2020/09 - 2023/02
Concluído
|
Mathematics and Applications (Mestrado)
Especialização em Computing and Informatics
Universidade de Aveiro, Portugal
"Towards a Specification Theory for paraconsistent transition systems" (TESE/DISSERTAÇÃO)
|
|
|
2017/09 - 2020/07
Concluído
|
Mathematics (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
|
Percurso profissional
Outros
| Categoria Profissional Instituição de acolhimento |
Empregador | |
|---|---|---|
| 2021/07 - 2022/07 | Marketing Operations Delivery | MCretail SGPS SA, Portugal |
Projetos
Projeto
| Designação | Financiadores | |
|---|---|---|
| 2023/09/01 - 2024/09/01 | Agendas para a Inovação Empresarial - ILLIANCE
BI/UI64/10912/2023
Bolseiro de Doutoramento
Universidade de Aveiro, Portugal
|
Em curso
|
Outro
| Designação | Financiadores | |
|---|---|---|
| 2023/04/01 - Atual | Ibex - Quantitative methods for cyber-physical programming
Investigador
Instituto de Engenharia de Sistemas e Computadores Porto, Portugal
Universidade de Aveiro, Portugal |
Fundação para a Ciência e a Tecnologia
Em curso
|
Produções
Publicações
| Artigo em conferência |
|
| Artigo em revista |
|
| Capítulo de livro |
|
| Livro |
|
Atividades
Apresentação oral de trabalho
| Título da apresentação | Nome do evento Anfitrião (Local do evento) |
|
|---|---|---|
| 2024/11/05 | Paraconsistent Reactive Graphs | International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
Universidade de Aveiro (Aveiro, Portugal)
|
| 2024/11/04 | Modal Invariant Relations for Paraconsistent Systems | International Workshop on Quantitative Principles of Cyber-Physical Systems
Universidade de Aveiro (Aveiro, Portugal)
|
| 2024/09/19 | Paraconsistent Relations as a Variant of Kleene Algebras | LSFA 2024 - 19th Logical and Semantic Frameworks with Applications
Universidade Federal de Goiás (Goiânia, Brasil)
|
| 2024/02/01 | Towards a specification theory for paraconsistent logic | Days in Logic 2024
Técnico ULisboa (Lisboa, Portugal)
|
| 2023/07/04 | Stepwise development of paraconsistent processes | Theoretical Aspects of Software Engineering
Bristol University
|
| 2023/05/04 | Structured Specification of Paraconsistent Transition Systems | Fundamentals of Software Engineering
University of Iran ((online talk))
|
| 2023/01/17 | Logic for Structured Specification of Paraconsistent Transition Systems | World Logic Day (Co-located with UNESCO)
Universidade de Aveiro (Aveiro, Portugal)
|
Participação em evento
| Descrição da atividade Tipo de evento |
Nome do evento Instituição / Organização |
|
|---|---|---|
| 2023/03/30 - 2023/03/30 | Co-located with UNESCO International Day of Logic.
Conferência
|
Spring Meeting in Logic and Semantics
Universidade de Aveiro, Portugal
|
| 2022/09/23 - 2022/09/28 | An introduction to quantum computing, workshop with Qiskit and an overview on quantum cryptography
Conferência
|
A first contact with Quantum Computing
Universidade de Aveiro, Portugal
|
| 2022/01/14 - 2022/01/14 | Co-located with UNESCO International Day of Logic.
Conferência
|
World Logic Day 2022
Universidade de Aveiro, Portugal
|
| 2021/07/21 - 2021/07/21 | QISKit is a quantum software toolkit for the development and study of quantum algorithms and their applications.
Oficina (workshop)
|
Hands-on quantum computing with Qiskit
Universidade de Aveiro, Portugal
|
| 2019/04/13 - 2019/04/16 | It featured the presence of numerous speakers, workshops, a company fair, and many social activities.
Conferência
|
ENEMath (Encontro Nacional de Estudantes de Matemática)
Universidade do Porto, Portugal
|
Arbitragem científica em conferência
| Nome da conferência | Local da conferência | |
|---|---|---|
| 2024/11/04 - 2024/11/08 | SEFM 2024 - 22nd International Conference on Software Engineering and Formal Methods | Universidade de Aveiro |
Curso / Disciplina lecionado
| Disciplina | Curso (Tipo) | Instituição / Organização | |
|---|---|---|---|
| 2024/09/18 - 2025/02/04 | Álgebra Linear e Geometria Analítica | Engenharia de Computadores e Informática (Licenciatura) | Universidade de Aveiro, Portugal |
| 2023/09/15 - 2024/02/01 | Álgebra Linear e Geometria Analítica | Engenharia Informática (Licenciatura) | Universidade de Aveiro, Portugal |
Membro de comissão
| Descrição da atividade Tipo de participação |
Instituição / Organização | |
|---|---|---|
| 2024/10/25 - 2024/10/25 | Chair at the Annual Meeting of DMat-UA PhD Students, a scientific meeting organized by the Department of Mathematics.
Website: https://sites.google.com/view/eaed-dmat-ua
Membro
|
Universidade de Aveiro, Portugal |