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
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)