Registered user since Sun 22 Feb 2015

Name: Francesco Zappa Nardelli

Bio: I am a researcher on the Parkas Project at INRIA, Paris-Rocquencourt, France.

Research Interests: weak-memory concurrency, tool support for semantics.

Affiliation: INRIA

Personal website: http://www.di.ens.fr/~zappa/

Contributions