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
September 2024. 14th International Conference on Quantum Cryptography (Vigo)
July 2023. Quantum Physics and Logic conference (Paris)
August 2022. Quantum Computation Summer School (Bad Honnef, Physikzentrum)
June 2022. Quantum Physics and Logic conference (Oxford, Wolfson College)
Presentations
September 2024. 6th International Workshop on Quantum Compilation (Berlin, FOKUS) — Branch sequentialization in quantum polytime
June 2022. Quantum Physics and Logic conference (Buenos Aires, UBA) — A programming language characterizing quantum polynomial time
January 2024. Fourth International Workshop on Programming Languages for Quantum Computing (London, POPL24) — A feasible and unitary programming language with quantum control
April 2023. Foundations of Software Science and Computation Structures (Paris, Campus Pierre et Marie Curie)
December 2022. Journées du défi quantique Inria (Strasbourg, Centre Européen de Sciences Quantiques)
November 2022. Journées Informatique Quantique (Paris, LIP6) — A programming language characterizing quantum polynomial time
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.
