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

A. Neri, R. S. Barbosa and J. N. Oliveira, "Compiling Quantamorphisms for the IBM Q Experience", in IEEE Transactions on Software Engineering, vol. 48, no. 11, pp. 4339-4356, 1 Nov. 2022, doi: 10.1109/TSE.2021.3117515.

2019

• "QArithmetic", with Mohamed Hassan, Harsh Khetawat, Afonso Rodrigues and Tom Wong, Qiskit Camp'2019 ;

2022

• "Workshop: Quantum Computing with Qiskit", at U. Aveiro;
• "Computação Quântica", Verão no Campus'22, U. Minho (Apresentação e Guia);
• "Formal Methods for Quantum Fault-Tolerant Programs", at WADT 2022;

2021

• "Tutorial: Hands-on quantum computing with Qiskit", with Luis S. Barbosa (UMinho), U. Aveiro;

2020

• "Introduction to Quantum Computation", Online;

2019

• "Sessão hands-on de experimentação no IBM Q. Desenvolvimento de programas quânticos em Qiskit", Módulos HPC e Computação Quântica de Computação Avançada, U.Minho (Notebook e Slides);
• "Hands-on Quantum Computing with Qiskit", with Afonso Rodrigues (U. Minho/CEiiA) and Bruno Murta (INL), mission 10 000 conference - Quantum Science and Technologies, INL ;
• Demo: “Quantum Computing with QISKIT”, with Afonso Rodrigues, Masterclass I: Quantum Computing – Principles, algorithms and applications, UT Austin Portugal ;
• "Computação Quântica", Verão no Campus'19, U.Minho (Apresentação e Guia);
• "Hands-on session: IBM Q Experience", with Afonso Rodrigues (U. Minho) , Q Days 19 , U. Minho;

2018

• "IBM Q Experience class notes", with Afonso Rodrigues (U. Minho), U. Aveiro;
• "Towards Quantum Program Calculation", with J. N. Oliveira (U. Minho), IBM-QuantaLab School, INL;
• "Computação Quântica", Verão no Campus'18, U. Minho;