I am a postdoc in the Qbricks team working on formal verification of quantum programming. Prior to that I did a PhD in theoretical computer science at the University of Birmingham under the supervision of Noam Zeilberger and Paul Levy. My main research interests involve category theory, logic, and their applications, in particular to quantum computing.
PhD Theoretical Computer Science
University of Birmingham
Master in Mathematical Logic and Foundations of Computer Science
Université Paris Diderot
Lately, I have been involved in the development of Qbricks, an open-source environment for automated formal verification of quantum programs. I am studying its specification langage, relying on parametrised path-sums, as well as on its rewriting theory.
During my PhD, I worked on categorical models of logic. More particularly, I’ve studied bifibrations of polycategories that allow to lift models of multiplicative linear logic to more refined ones.
Some of my interests include generalised multicategories, polycategories, virtual double categories, fibrations, polyactegories, models of quantum mechanics. Feel free to reach out 😃