Publications

 

Master dissertation

"Towards Quantum Program Calculation", supervised by J. N. Oliveira (Univ. Minho) and R. S. Barbosa (Univ. Oxford), (October 2018) University of Minho.

Projects

2019

Talks

2019
2018