★ Research Interests ★My main research areas are logic, category theory and their applications. I am always interested in learning about new projects connected to one of the following topics:- (Applied) category theory- (Linear) logic and type theory- Quantum computing- Formal methods★ About me ★Versatile and passionate about a lot of things, I am fueled by substantial amounts of curiosity and tea. I am currently a third year PhD student at the University of Birmingham.I have been investigating how methods from Computer Science can be adapted to non classical frameworks such as probabilistic or quantum computing, with an emphasis on logical and categorical tools. More generally, I am good at assimilating new concepts by taking out unnecessary details to abstract the key elements.★ Previous experience ★This ability and my strong interest in Logic have guided my decisions career-wise.As a Safety Engineer, I discovered how the very same abstract principles (redundancy, control operation,...) can be implemented in various ways.Understanding these concepts helped me as a Software Engineer, working on Safety-Critical Embedded Systems deployed all around the world. After a few months I started mentoring new people on the project.It was a real positive experience since I love exchanging with people.★ Researcher in Theoretical Computer Science ★I went back to academia to pursue a Research career in Theoretical Computer Science. My weapons of choice are applied category theory and type theory.I have also been fascinated by the quantum realm and its mathematical structures for a long time.Both my master theses were connected to that topic.