Daniele Varacca

Me Professor at LACL, Université Paris Est - Créteil
My email is daniele.varacca[SNEGL]u-pec[DOT]fr
Skype username: varaccad

Main interests: Concurrency, Types, Domain Theory Specification and verification

Other interests: Logic, Categories, Probabilistic Semantics, Game Theory.

Publications (available online)

Best viewed with any browser My curriculum vitae

Chi cerca trova, chi ricerca ritrova.
--Ennio DeGiorgi