Baptiste Chanus

Baptiste Chanus

Master student in sociology, under the supervision of Marine Al Dahdah

Posts by Collection

portfolio

publications

Unifying Boolean and Algebraic Descriptive Complexity.

Published in Proceedings of FSCD, LIPIcs 337, 13:1-13:22, 2025

Abstract : We introduce ultrarings, which simultaneously generalize commutative rings and Boolean lextensive categories. As such, they allow to blend together standard algebraic notions (from commutative algebra) and logical notions (from categorical logic), providing a unifying descriptive framework in which complexity classes over arbitrary rings (as in the Blum, Schub, Smale model) and usual, Boolean complexity classes may be captured in a uniform way.’ Download paper here

Recommended citation: Baptiste Chanus and Damiano Mazza and Morgan Rogers (2025). "Unifying Boolean and Algebraic Descriptive Complexity." Proceedings of FSCD. 1(1). https://bchanus.github.io/files/UnifDescComp.pdf

talks

Progress presentation

Published:

Presentation to the rest of the team during the team’s annual seminar

teaching

Logique

Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2023

Responsable du cours : Marie Kerjean Volume horaire : 18h de TD

Logique

Licence 1, Université Sorbonne Paris Nord, Département d'informatique, 2024

Responsable du cours : Sergueï Lenglet Volume horaire : 18h de TD