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.
|
|
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 |
My curriculum vitae