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)unibo.it

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...).


Teaching

Research

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

Journal article

Conference proceedings

Internship reports