Theo Bessel

Computer science engineering student at N7, Toulouse INP

About me

Ever since I discovered computer programming in secondary school, I've been developing my curiosity in this field.


It was this curiosity that led me to pursue a computer engineering degree at ENSEEIHT, after three years of preparatory classes for the Grandes Ecoles at the Lycée Kléber in Strasbourg.


This path also enabled me to develop my soft skills, both in terms of helping other students and in the various sports associations to which I contributed.

Research interest

  • Proof assistants
  • Model theory
  • Mathematical logic
  • Languages theory
  • Homotopy type theory
  • Typed lambda calculus
  • Critical systems
  • Embedded Linux
  • Turing machines
  • Computability theory
  • Assistants de preuve
  • Théorie des modèles
  • Logique mathématique
  • Théorie des langages
  • Théorie des types
  • Lambda calcul typé
  • Systèmes critiques
  • Linux embarqué
  • Machines de Turing
  • Théorie de la calculabilité