cabecera

Quantum Software Engineering

RESEARCH

DEPARTMENTS
quantum tab menu
RESEARCH GROUPS
solarcells
quantum-energy tab menu
2DMATERIALS
Atomicmanipulation
quantum electrodynamics 2D BTN menu
theoryquantum
quantum-linear tab menu
quantum SE _tab menu

DESCRIPTION

The Quantum Software Engineering Group is oriented towards the development of foundations and rigorous, mathematical methods for Quantum Computer Science and Software Engineering and its application in strategic problem-areas emerging in the context, but not exclusively, of the QuantaLab partnership and the IBM Q Hub.

Progress in quantum computing, related algorithmic techniques and applications, cannot ignore the fact that current methods and tools for quantum software development are still highly fragmentary and fundamentally ‘low-level’. Reasoning directly with quantum gates is as limited as assembling logical gates in classical algorithm design. Actually, it sweeps under the carpet all key ingredients of a mature software engineering discipline: compositionality, abstraction, refinement, high-order and property-enforcing type schemes.

On the other hand, the standard mathematical formulation of quantum mechanics in terms of Hilbert spaces, and the associated von Neumann approach to its logical structure, is unable to provide a sufficiently abstract framework for specifying and analyzing quantum processes and, in particular, to incorporate classical, macroscopic noise into the picture, in an effective, not implicit way.

In this context, the group research will be structured around three main topics unavoidable in any roadmap for a Software Engineering discipline meeting rigorous scientific standards: i) how quantum software systems are modelled, designed and developed; ii) how models are composed at different levels of abstraction, and finally, iii) how properties of their behaviours are anticipated, expressed and verified.

Our group was established very recently. Please keep in touch for project collaborations and PhD/postdoc opportunities.

RESEARCH PROJECTS

PhD OPPORTUNITIES

In the context of the Quantum Portugal Initiative (https://inl.int/quantum-portugal-initiative/)

Quantum Numerical Integration: Monte Carlo, Metropolis and variance reduction
Contact: Luís Paulo Santos (luis.santos@inl.int)

 

Quantum Computational Geometry and Graphics
Contact: Luís Paulo Santos (luis.santos@inl.int)

 

How far can you quantum compute without measurements?
Contact: José Nuno Oliveira (jose.oliveira@inl.int)

 

Is the ‘just good enough hardware’ metaphor applicable to quantum computing?
Contact: José Nuno Oliveira (jose.oliveira@inl.int)

 

Algebraic quantum programming: languages and calculi
Contact: Luís Soares Barbosa (luis.barbosa@inl.int)

 

A coordination language for quantum programs
Contact: Luís Soares Barbosa (luis.barbosa@inl.int)

 

Combining paraconsistent and dynamic logics for verification of quantum programs
Contact: Luís Soares Barbosa (luis.barbosa@inl.int)

PUBLICATIONS

Neves, and L. S. Barbosa
Languages and models for hybrid automata: A coalgebraic perspective.
(https://doi.org/10.1016/j.tcs.2017.09.038)
Theoretical Computer Science, Elsevier, 744, pp 113-142 (2018).
Neves, L. S. Barbosa, D. Hofmann, and M. A. Martins

Continuity as a computational effect
(https://doi.org/10.1016/j.jlamp.2016.05.005)
Jour. Logic and Algebraic Programming, Elsevier, 85 (5), pp 1057-1085 (2016)
Ribeiro, J. Barbosa and L. P. Santos

A Framework for Efficient Execution of Data Parallel Irregular Applications on Heterogeneous Systems
(http://dx.doi.org/10.1142/S0129626415500048)
Parallel Processing Letters, vol. 25(2) (2015)
Marques, C. Bouville, M. Ribardière, L.P. Santos and K. Bouatouch

Spherical Fibonacci Point Sets for Illumination Integrals
(http://dx.doi.org/10.1111/cgf.12190)
Computer Graphics Forum, vol. 32 (8), pp. 134-143 (2013)
J.N. Oliveira.
Programming from Metaphorisms.
(DOI:10.1016/j.jlamp.2017.09.003)
Jour. Logic and Algebraic Programming, Elsevier, 94,  pp 15-44 (2018)
Murta and J.N. Oliveira.
A study of risk-aware program transformation.
(DOI: 10.1016/j.scico.2015.04.008)
Science of Computer Programming, 110, pp51-77 (2015)
H.D. Macedo and J.N. Oliveira.
Typing Linear Algebra: a Biproduct-oriented Approach.
(DOI:10.1016/j.scico.2012.07.012).
Science of Comp. Programming, Elsevier, 78, pp2160-2191, (2013)
J.N. Oliveira, M.A. Ferreira.
Alloy Meets the Algebra of Programming: A Case Study.
(DOI:10.1109/TSE.2012.15)
IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326 (2013)
Opinion article

S. Barbosa,and A. Madeira

A research agenda on quantum algoritmics
(https://ercim-news.ercim.eu/en113/r-i/a-research-agenda-on-quantum-algoritmics)
Research talk

J.N. Oliveira
Compiling quantamorphisms for the IBM Q-Experience
IFIP WG2.1 meeting#77, Brandenburg, 1-6 Jul 2018
(https://ifipwg21wiki.cs.kuleuven.be/IFIP21/Brandenburg)

OTHER

  • Conferences and workshops

    Members of the QSE Group are currently chairing the following initiatives:

    • FM 2019 – 23rd International Symposium on Formal Methods, Porto, October 7 – 11, 2019 (http://formalmethods2019.inesctec.pt/)
    • Eurovis 2019: 21st EG/IEEE VGTC Conference on Visualization”, Porto, June, 3..7, 2019 (http://eurovis2019.org/)

GROUP LEADER

luis-barbosa

THE TEAM

Luís Paulo Santos
Assistant Professor

José Nuno Oliveira
Professor at UMinho

DESCRIPTION

The Quantum Software Engineering Group is oriented towards the development of foundations and rigorous, mathematical methods for Quantum Computer Science and Software Engineering and its application in strategic problem-areas emerging in the context, but not exclusively, of the QuantaLab partnership and the IBM Q Hub.

Progress in quantum computing, related algorithmic techniques and applications, cannot ignore the fact that current methods and tools for quantum software development are still highly fragmentary and fundamentally ‘low-level’. Reasoning directly with quantum gates is as limited as assembling logical gates in classical algorithm design. Actually, it sweeps under the carpet all key ingredients of a mature software engineering discipline: compositionality, abstraction, refinement, high-order and property-enforcing type schemes.

On the other hand, the standard mathematical formulation of quantum mechanics in terms of Hilbert spaces, and the associated von Neumann approach to its logical structure, is unable to provide a sufficiently abstract framework for specifying and analyzing quantum processes and, in particular, to incorporate classical, macroscopic noise into the picture, in an effective, not implicit way.

In this context, the group research will be structured around three main topics unavoidable in any roadmap for a Software Engineering discipline meeting rigorous scientific standards: i) how quantum software systems are modelled, designed and developed; ii) how models are composed at different levels of abstraction, and finally, iii) how properties of their behaviours are anticipated, expressed and verified.

Our group was established very recently. Please keep in touch for project collaborations and PhD/postdoc opportunities.

RESEARCH PROJECTS

PhD OPPORTUNITIES

In the context of the Quantum Portugal Initiative (https://inl.int/quantum-portugal-initiative/)

Quantum Numerical Integration: Monte Carlo, Metropolis and variance reduction
Contact: Luís Paulo Santos (luis.santos@inl.int)

 

Quantum Computational Geometry and Graphics
Contact: Luís Paulo Santos (luis.santos@inl.int)

 

How far can you quantum compute without measurements?
Contact: José Nuno Oliveira (jose.oliveira@inl.int)

 

Is the ‘just good enough hardware’ metaphor applicable to quantum computing?
Contact: José Nuno Oliveira (jose.oliveira@inl.int)

 

Algebraic quantum programming: languages and calculi
Contact: Luís Soares Barbosa (luis.barbosa@inl.int)

 

A coordination language for quantum programs
Contact: Luís Soares Barbosa (luis.barbosa@inl.int)

 

Combining paraconsistent and dynamic logics for verification of quantum programs
Contact: Luís Soares Barbosa (luis.barbosa@inl.int)

PUBLICATIONS

Neves, and L. S. Barbosa
Languages and models for hybrid automata: A coalgebraic perspective.
(https://doi.org/10.1016/j.tcs.2017.09.038)
Theoretical Computer Science, Elsevier, 744, pp 113-142 (2018).
Neves, L. S. Barbosa, D. Hofmann, and M. A. Martins

Continuity as a computational effect
(https://doi.org/10.1016/j.jlamp.2016.05.005)
Jour. Logic and Algebraic Programming, Elsevier, 85 (5), pp 1057-1085 (2016)
Ribeiro, J. Barbosa and L. P. Santos

A Framework for Efficient Execution of Data Parallel Irregular Applications on Heterogeneous Systems
(http://dx.doi.org/10.1142/S0129626415500048)
Parallel Processing Letters, vol. 25(2) (2015)
Marques, C. Bouville, M. Ribardière, L.P. Santos and K. Bouatouch

Spherical Fibonacci Point Sets for Illumination Integrals
(http://dx.doi.org/10.1111/cgf.12190)
Computer Graphics Forum, vol. 32 (8), pp. 134-143 (2013)
J.N. Oliveira.
Programming from Metaphorisms.
(DOI:10.1016/j.jlamp.2017.09.003)
Jour. Logic and Algebraic Programming, Elsevier, 94,  pp 15-44 (2018)
Murta and J.N. Oliveira.
A study of risk-aware program transformation.
(DOI: 10.1016/j.scico.2015.04.008)
Science of Computer Programming, 110, pp51-77 (2015)
H.D. Macedo and J.N. Oliveira.
Typing Linear Algebra: a Biproduct-oriented Approach.
(DOI:10.1016/j.scico.2012.07.012).
Science of Comp. Programming, Elsevier, 78, pp2160-2191, (2013)
J.N. Oliveira, M.A. Ferreira.
Alloy Meets the Algebra of Programming: A Case Study.
(DOI:10.1109/TSE.2012.15)
IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326 (2013)
Opinion article

S. Barbosa,and A. Madeira

A research agenda on quantum algoritmics
(https://ercim-news.ercim.eu/en113/r-i/a-research-agenda-on-quantum-algoritmics)
Research talk

J.N. Oliveira
Compiling quantamorphisms for the IBM Q-Experience
IFIP WG2.1 meeting#77, Brandenburg, 1-6 Jul 2018
(https://ifipwg21wiki.cs.kuleuven.be/IFIP21/Brandenburg)

OTHERS

  • Conferences and workshops

    Members of the QSE Group are currently chairing the following initiatives:

    • FM 2019 – 23rd International Symposium on Formal Methods, Porto, October 7 – 11, 2019 (http://formalmethods2019.inesctec.pt/)
    • Eurovis 2019: 21st EG/IEEE VGTC Conference on Visualization”, Porto, June, 3..7, 2019 (http://eurovis2019.org/)

GROUP LEADER

luis-barbosa

THE TEAM

Luís Paulo Santos
Assistant Professor

José Nuno Oliveira
Professor at UMinho

QUANTUM-PTI_Social mediaApply with us for a Quantum position as PhD student and Join our Team!

if you are interested on this Call please contact by email to Dr. Luis Barbosa.

Research Area: Quantum Materials for Quantum Science & Technology

KNOW MORE >>

FORMER GROUP MEMBERS

RESEARCH

DEPARTMENTS
quantum tab menu
RESEARCH GROUPS
solarcells
quantum-energy tab menu
2DMATERIALS
theoryquantum
quantum electrodynamics 2D BTN menu
Atomicmanipulation
quantum-linear tab menu
quantum SE _tab menu