Pages Pro

Rechercher

Paramétrage

Thèmes

Accessibilité

Accessibilité

CNRS

Patrick Baillot

Directeur de recherche epst Laboratoire / équipe
  • UMR 9189 - CENTRE DE RECHERCHE EN INFORMATIQUE, SIGNAL ET AUTOMATIQUE DE LILLE
HAL patrick-baillot (Ouverture dans une nouvelle fenêtre)
patrick.baillot[chez]univ-lille[point].fr
  • +33 3 28 77 85 75
  • bâtiment ESPRIT, S4.31
    Domaines de recherche Logique, Systèmes de types, Sémantique des langages de programmation, Analyse de complexité
    Menu
    • Présentation
    • Axes de recherche
    • Enseignements
    • Publications
    • Responsabilités
    • Parcours

    Présentation

     I am a CNRS researcher (Directeur de Recherche) working at the CRIStAL research center, Lille. I am a member of the SyCoMoRES team.

    My research interests deal with logic, type systems, semantics of programming languages and complexity analysis.

    Dernières actualités

    Paper Bunched Fuzz: Sensitivity for Vector Metrics accepted at ESOP 2023

    Preprint

    Web seminar on Semantic and Formal Approaches to Complexity (SCOT)

    The SCOT Webinar on Semantic and Formal Approaches to…

    Propositions stages de Master/ Master internships proposals

    Propositions de stage de Master 2 recherche, 2023

    Types for sensitivity analysis and differential privacy in functional programming

    Semantics and types for synchronous programming with state machines in a multi-periodic setting (avec J. Forget et S. Salvati)

    Types for complexity analysis in a process calculus

    Implicit computational complexity in Pi-calculus

     

    Mentions légales Membres S'inscrire à une formation Page mise à jour le 17/01/2023 (09:42)