LABORATOIRE J.A. DIEUDONNE

UMR CNRS-UNS N°7351
Luca Reggio

Doctorant (équipe Algèbre, Topologie et Géométrie)
À propos de moi
Doctorant en troisième année de thèse sous la supervision de Mai Gehrke, je bénéficie d'une bourse de la Sorbonne Paris Cité. Je participe au projet ERC-advanced DuaLL, qui débuta en septembre 2015. J'ai effectué mes deux premières années de thèse à l'Université Paris 7, au sein de l'Institut de Recherche en Informatique Fondamentale (IRIF), et depuis septembre 2017 je suis rattaché au Laboratoire J.A. Dieudonné à Nice.

Actuellement, nous organisons un séminaire sur "Dualité de Stone, langages formels et logique", de façon hebdomadaire.

NEW: Je vais soutenir ma thèse, dont le titre est "Quantifiers and Duality", en septembre 2018. Une version préliminaire est disponible ici.

Événements
À venir: Passés:
Contact
Adresse :
Laboratoire J.A.Dieudonné
UMR CNRS-UNS N°7351
Université de Nice Sophia-Antipolis
Parc Valrose
06108 NICE Cedex 2
Téléphone : 04 92 07 61 79
Mail : reggio [at] unice [dot] fr
Recherche
Intérêts de recherche:
Publications
Liste des publications par ordre chronologique inverse:
  1. An open mapping theorem for finitely copresented Esakia spaces [JOURNAL] [arXiv PREPRINT]
    Sam van Gool and Luca Reggio, Topology and its Applications, Vol. 240, 2018, pp. 69-77.

  2. Quantifiers on languages and codensity monads [PROCEEDINGS] [arXiv EXTENDED VERSION]
    Mai Gehrke, Daniela Petrisan and Luca Reggio.
    32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pp. 1-12, 2017.

  3. Stone duality above dimension zero: Axiomatising the algebraic theory of C(X) [JOURNAL] [arXiv PREPRINT]
    Vincenzo Marra and Luca Reggio.
    Advances in Mathematics, Vol. 307, 2017, pp. 253-287.

  4. The Schutzenberger Product for Syntactic Spaces [PROCEEDINGS]
    Mai Gehrke, Daniela Petrisan and Luca Reggio.
    43rd International Colloquium on Automata, Languages, and Programming (ICALP), LIPICS Vol. 55, pp. 112:1-112:14, 2016.