Jean Krivine

Registered user since Wed 26 Sep 2018

Name:Jean Krivine
Research interests:Graph rewriting, stochastic simulation, formal molecular biology, knowledge representation, causality


OPCT 2019 Author of A Calculus of Branching Processes within the OPCT 2019-track
CREST 2019 Committee Member in Invited Speakers within the CREST-track
Co-chair in Program Committee within the CREST-track
Author of Causality and diagrammatic reasoning within the CREST-track