"As an early-career researcher, I am excited to explore and publish more work in the areas of type theory, quantum computing, and the foundations of mathematics. I am committed to contributing to the academic community with high-quality research and collaboration. If you feel there is room for collaboration, don't hesitate to reach out!"