I am a PhD student in Quantum Implicit Computational Complexity, under the guidance of Romain Péchoux and Emmanuel Hainry in the MOCQUA team. My research is mainly focused on creating and improving static analysis techniques to ensure complexity bounds on quantum programs. I also have some experience in self-testing of quantum systems and device-independent quantum cryptography in the context of restricted users.


I am also a teaching assistant in the Computer Science department at École des Mines de Nancy:

  • Algorithmes et complexité (Algorithms and complexity) – french
  • Programmation et structures de données (Coding and data structures) – french
  • Operations research – english

Languages: Portuguese (native), English (fluent) and French (advanced).




Research Internship. 2021. Instituto de Telecomunicações, Lisbon.

MSc in Mathematics of Computation. 2018-2021. Instituto Superior Técnico, University of Lisbon.

Licenciatura (3-year BSc) in Physics. 2015-2018. Faculty of Sciences, University of Porto.



Google scholar page


Díaz-Caro, Hainry, Péchoux, Silva. A feasible and unitary programming language with quantum control. pre-print at arXiv.

Silva, Faleiro, Mateus, Cruzeiro. A coherence-witnessing game and applications to semi-device-independent quantum key distribution. Quantum.

Hainry, Péchoux, Silva. A programming language characterizing quantum polynomial time. FoSSaCS 2023.







July 2023. Quantum Physics and Logic conference (Paris) — poster

August 2022. Quantum Computation Summer School (Bad Honnef, Physikzentrum) — poster

June 2022. Quantum Physics and Logic conference (Oxford, Wolfson College) — poster


April 2023. Foundations of Software Science and Computation Structures (Paris, Campus Pierre et Marie Curie) — presenting paper

December 2022. Journées du défi quantique Inria (Strasbourg, Centre Européen de Sciences Quantiques) — presentation

November 2022. Journées Informatique Quantique (Paris, LIP6) — presentation


May 2023. QuantUM seminar (Braga, International Iberian Nanotechnology Laboratory) — seminar (slides)



Honors and awards


Research Grant. 2019-2020. Calouste Gulbenkian Foundation programme “New Talents in Quantum Technologies”.

Award of Academic Merit. 2018-2019. Instituto Superior Técnico, University of Lisbon.