???global.info.a_carregar???
I am currently enrolled in the Doctorate Program in Mathematics at Universidade de Aveiro, having previously completed a Master’s degree in Mathematics and Applications from the same institution, and a Bachelor's degree in Mathematics from Universidade do Porto. My research interests revolve around computational models, paraconsistent logics, and formal specification. I am particularly intrigued by paraconsistent logics since they provide a robust framework for reasoning about contradictory information. This is especially relevant in fields such as quantum computation, pharma synthesis and medical diagnosis.
Read full resume ↓
Identification

Personal identification

Full name
Juliana Andreia Marques Prazeres da Cunha

Citation names

  • Cunha, Juliana

Author identifiers

Ciência ID
9D1E-9BD4-3F9E
ORCID iD
0009-0002-5385-9858
Scopus Author Id
58490284000

Email addresses

  • juliana.cunha@ua.pt (Professional)

Knowledge fields

  • Exact Sciences - Mathematics
  • Exact Sciences - Computer and Information Sciences - Computer Sciences

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Upper intermediate (B2) Upper intermediate (B2) Advanced (C1) Upper intermediate (B2)
German Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2023/07/01 - 2026/07/30
Ongoing
 Doctorate in Mathematics (Doutoramento)
Universidade de Aveiro, Portugal
2020/09 - 2023/02
Concluded
 Mathematics and Applications (Mestrado)
Major in Computing and Informatics
Universidade de Aveiro, Portugal
"Towards a Specification Theory for paraconsistent transition systems" (THESIS/DISSERTATION)
2017/09 - 2020/07
Concluded
 Mathematics (Licenciatura)
Universidade do Porto Faculdade de Ciências, Portugal
Affiliation

Others

Category
Host institution 		Employer
2021/07 - 2022/07 Marketing Operations Delivery MCretail SGPS SA, Portugal
Projects

Contract

Designation Funders
2023/09/01 - 2024/09/01 Agendas para a Inovação Empresarial - ILLIANCE
BI/UI64/10912/2023
PhD Student Fellow
Universidade de Aveiro, Portugal
Ongoing

Other

Designation Funders
2023/04/01 - Current Ibex - Quantitative methods for cyber-physical programming
PTDC/CCI-COM/4280/2021
Researcher
Instituto de Engenharia de Sistemas e Computadores Porto, Portugal

Universidade de Aveiro, Portugal
Fundação para a Ciência e a Tecnologia
Ongoing
Outputs

Publications

Book
  1. Cunha, J.; Madeira, A.; Barbosa, L.S.. Structured Specification of Paraconsistent Transition Systems. 2023.
    10.1007/978-3-031-42441-0_1
Book chapter
  1. Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares. "Stepwise development of paraconsistent processes". Springer, 2023.
    10.1007/978-3-031-35257-7_20
Conference paper
  1. Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares. Corresponding author: Cunha, Juliana. "Paraconsistent Relations as a Variant of Kleene Algebras". Paper presented in LSFA 2024, Goiânia, 2024.
    In press
Journal article
  1. Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares. "Specification of paraconsistent transition systems, revisited". Science of Computer Programming 240 (2024): 103-196. http://dx.doi.org/10.1016/j.scico.2024.103196.
    Open access • Published • 10.1016/j.scico.2024.103196
  2. Cunha, Juliana; Madeira, Alexandre; Barbosa, Luís Soares. Corresponding author: Cunha, Juliana. "Paraconsistent transition structures: compositional principles and a modal logic". (2024):
    Under revision
Activities

Oral presentation

Presentation title Event name
Host (Event location)
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, Brazil)
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)

Event participation

Activity description
Type of event 		Event name
Institution / Organization
2023/03/30 - 2023/03/30 Co-located with UNESCO International Day of Logic.
Conference
 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
Conference
 A first contact with Quantum Computing
Universidade de Aveiro, Portugal
2022/01/14 - 2022/01/14 Co-located with UNESCO International Day of Logic.
Conference
 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.
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.
Conference
 ENEMath (Encontro Nacional de Estudantes de Matemática)
Universidade do Porto, Portugal

Committee member

Activity description
Role 		Institution / Organization
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
Member
 Universidade de Aveiro, Portugal

Conference scientific committee

Conference name Conference host
2024/11/04 - 2024/11/08 SEFM 2024 - 22nd International Conference on Software Engineering and Formal Methods Universidade de Aveiro

Course / Discipline taught

Academic session Degree Subject (Type) Institution / Organization
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