Denis KUPERBERG



I am a CNRS researcher at LIP, ENS Lyon, Plume team.

Some research interests: automata theory, synthesis, verification, games, logics, decidability procedures, complexity, proof theory, interdisciplinary research.

Email: denis.kuperberg [at] ens-lyon.fr

Curriculum Vitae: in English, in French


I support :


Research

Supervision

Present Past

Preprints:

(Recent) Publications:

A list of my publications is also available on DBLP.
Or see here for a complete list of publications and talks.

To see and download older papers, click on

Software

Thesis:

My thesis is entitled "Study of classes of regular cost functions", and explores a new quantitative extension of the theory of regular languages.
Here is my PHD manuscript (in french).

If the thesis is too long or if you don't speak french, here is a short summary (20 pages) in english, and the slides of the defense, also in english.

Talks

Click on the titles for slides.

Teaching

Fall Semester 2021

ENS Lyon Master 2 course with Valeria Vignudelli: Mathematical Aspects of Automata Theory

Fall Semester 2020

ENS Lyon Master 2 course with Matteo Mio and Valeria Vignudelli: Mathematical Aspects of Automata Theory

Fall Semester 2018

ENS Lyon Master 2 course with Matteo Mio: Logic, Automata and Games for Advanced Verification

Spring Semester 2018

ENS Lyon Master 1 course: Semantics and Verification

Fall Semester 2017

ENS Lyon Master 2 course with Matteo Mio: Monadic Second Order Logic, Automata, Expressivity and Decidability

Fall Semester 2016

ENS Lyon Master 2 course with Colin Riba and Matteo Mio: Monadic Second Order Logic, Automata, Expressivity and Decidability

Popularisation

Here are slides of talks I have given for popularisation of mathematics, most of them in french: