About me

Laurent in Le Modele Turing I am a CNRS research scientist ("Chargé de Recherche") at LaBRI, Bordeaux, in the Méthodes Formelles research group.

[My complete CV]

My main research interest is algorithmic randomness and Kolmogorov complexity, and its connections to computability theory and analysis.

I am on the editorial board of the Bulletin of Symbolic Logic and of the Springer book series Theory and Applications of Computability. If you are thinking of writing a book or survey in computability theory or related areas, maybe we should talk :-)

News

  • Computability, Complexity and Randomness (CCR 2018), Santiago, Chile, December 17-21, 2018. [link]
  • Computability in Europe (CiE 2019), Durhman, UK, July 15-19, 2019. [link]
  • Logic Colloquium 2019, August 11-16, 2019. [link]

Contact

Mailing address
LaBRI, 351, cours de la Libération
33405 Talence Cedex
France

E-mail
antispam-laurent.bienvenu@computability.fr

Skype
laurent.bienvenu