Nicolas Blanco

Nicolas Blanco

Doctorant en Informatique Théorique

Université de Birmingham

Biographie

Je suis doctorant dans l’équipe d’Informatique Théorique de l’Université de Birmingham. Mes directeurs de thèse sont Noam Zeilberger et Paul Levy. Mes armes favorites consistent en la théorie des catégories et la logique. J’aime aussi bien développer leur théorie que les appliquer à d’autres domaines.

Je suis diplômé d’un Master en Logique Mathématique et Fondements de l’Informatique (LMFI) de l’Université Paris Diderot. Durant cette formation j’ai eu le privilège d’effectuer un stage de cinq mois au Laboratoire de Recherche en Informatique (LRI) de Paris Saclay sous la direction de Benoît Valiron. J’y ai développé la syntaxe et la sémantique d’un $\lambda\mu$-calcul probabiliste linéaire. Suite à cela, j’ai passé presque deux années au sein de Clearsy où j’ai manié les méthodes formelles en tant qu’ingénieur en développement logiciel et ingénieur en sûreté de fonctionnement. Plus récemment j’ai effectué un stage de recherche à Riverlane sur la spécification et la vérification de programmes dataflow.

Durant ma thèse, j’ai étudié les polycatégories bifibrées comme modèle pour les raffinements de la logique linéaire multiplicative classique. Ces travaux sont accessibles dans cette publication.

Ces derniers temps je me suis penché sur une approche similaire pour l’étude de la logique linéaire intuitioniste en utilisant des multicatégories généralisées fibrées. Ceci est inspiré de la logique linéaire non-linéaire et de travaux récents de la part de Martin Hyland et Christine Tasson sur ses modèles multicatégoriels.

Intérêts
  • Catégories monoïdales et $\ast$-autonomes
  • Multicatégories et polycatégories (généralisées)
  • Fibrations et construction de Grothendieck
  • Logique Linéaire
  • Langages de Programmation Quantique
Formation
  • Doctorat en Informatique Théorique, 2022

    Université de Birmingham

  • Master en Logique Mathématique et Fondements de l'Informatique, 2016

    Université Paris Diderot

Contact