José Nuno Oliveira

Cooperation Associate
Quantum Software Engineering

José Nuno Oliveira is a researcher of the Quantum Software Engineering (QSE) group in the Department of Quantum Materials, Science and Technology at INL, professor of Computer Science at the University of Minho. He is also affiliated with the HASLab research unit of INESC TEC.

A member of the scientific committee of the Gulbenkian Program for Talents in Quantum Technologies, José Nuno is also a member of the IFIP WG 2.1 (Algorithmic Languages and Calculi) and of the Formal Methods Europe (FME) Association. He serves on the editorial board of Springer journal Formal Aspects of Computing and is a member of the steering committees of the MPC and RAMiCS conferences.

His research interests are focussed on formal methods, algebra of programming (program calculation) and functional programming. He has published on relation algebra and linear algebra techniques applied to programming, including the development of a typed linear algebra of programming intended for the verification of complex software systems. Its application to quantum programming has originated the concept of a quantamorphism, a quantum programming recursive device for calculating correct-by-construction quantum circuits from abstract specifications.

He is currently the general chair of the 3rd World Congress on Formal Methods that will take place in Porto next October, a world-wide event promoted by the FME Association that takes place only every 10 years.

Selected Publications