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).
Education
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.
Publications
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.
Communication
Posters
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
Presentations
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
Seminars
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.
