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:
- Programmation et structures de données (Coding and data structures)
- Algorithmes et complexité (Algorithms and complexity)
Languages: Portuguese (native), English (fluent) and French (advanced).
