Thèmes

Accessibilité

Accessibilité

Patrick Baillot

Directeur de recherche epst

UMR 9189 - CENTRE DE RECHERCHE EN INFORMATIQUE, SIGNAL ET AUTOMATIQUE DE LILLE

patrick.baillotuniv-lille.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é

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

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