LABORATOIRE J.A. DIEUDONNE UMR CNRS-UNS N°7351

Luca Reggio

ATTENTION! Cette page n'est pas mise à jour. Rendez-vous sur ma nouvelle page.

Doctorant (équipe Algèbre, Topologie et Géométrie)

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. À cette occasion, un Workshop du projet DuaLL a été organisé. Il aura lieu le 11 septembre à Paris Diderot.

À venir: SYSMICS Summer School (Les Diablerets, 22-26 août 2018) LATD 2018 et AIML 2018 (Berne, 27-31 août 2018) Passés: ToLo VI (Tbilissi, 2-6 juillet 2018) PhilMathMED: Philosophie, Histoire et Didactique des Mathématiques en Méditerranée (Montpellier, 31 mai - 1 juin 2018) Journées niçoises : Logique catégorique, topos et dualités (Nice, 8-12 janvier 2018)

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

Intérêts de recherche:

• Théorie de la dualité
• Logique (en particulier, logiques polyvalentes, logique catégorique et logique pour l'informatique)
• Algèbre universelle et topologie générale

Une liste des exposées est disponible ici.

Submitted:

1. Codensity, profiniteness and algebras of semiring-valued measures [arXiv Preprint]
   Luca Reggio.


2. A characterisation of the category of compact Hausdorff spaces [arXiv Preprint]
   Vincenzo Marra and Luca Reggio.


3. Quantifiers on languages and codensity monads - Extended version [arXiv Preprint]
   Mai Gehrke, Daniela Petrisan and Luca Reggio.

Liste des publications par ordre chronologique inverse:

4. An open mapping theorem for finitely copresented Esakia spaces [Published Paper] [arXiv Preprint]
   Sam van Gool and Luca Reggio, Topology and its Applications, Vol. 240, 2018, pp. 69-77.


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


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


7. The Schutzenberger Product for Syntactic Spaces [Published Paper]
   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.

Copyright @ 2010 Laboratoire J.A. Dieudonné