Jean Krivine

Jean Krivine

CNRS Researcher in Computer Science

Université de Paris, CNRS, IRIF, France

I am interested in fundamental aspects of computer science, mainly models for concurrency (non interleaving semantics, event structures), quantitative simulation (stochastic semantics), formal languages including bigraphs , Kappa and process algebra. I am investigating applications of these concepts to highly distributed systems such as blockchain systems or molecular interaction networks .