Nicolas Blanco
Nicolas Blanco

Postdoc

About Me

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.

Download CV
Interests
  • Category Theory
  • Quantum Computing
  • Formal Methods
Education
  • PhD Theoretical Computer Science

    University of Birmingham

  • Master in Mathematical Logic and Foundations of Computer Science

    Université Paris Diderot

📚 My Research

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 😃

Featured Publications
Recent Publications
(2020). Bifibrations of polycategories and classical linear logic. MFPS2020 In ENTCS.
Recent & Upcoming Talks
Recent News