Here I am

Thomas Leventis

Dipartimento di Informatica - Scienza e Ingegneria
Università degli Studi di Bologna
Mura Anteo Zamboni, 7
40127 Bologna, Italy
tel: (+33)6 84 25 71 91
mail: thomas.leventis(at)

I'm currently an assistant researcher in Bologna, Italy. I did my PhD in Marseille, following by a year as ATER (temporary assistant to research and teaching) in Paris 7.

My primary research topic is probabilistic λ-calculus. I studied the notion of equational theory in probabilistic calculi, and I've been looking at the theories induced by different models (Böhm trees, probabilistic coherence spaces, Taylor expansions...).



My thesis, Probabilistic λ-Theories, is available on Hal.

Journal article

Conference proceedings

Internship reports