Scientific activities
Programming
As part of the Kappa project, I was involved in developing KaSim, an efficient stochastic simulator for rule-based models in Kappa. Binaries, source code and other useful resources are available here .
During my sabbatical I have been one of the main contributors to the implementation of Mangrove, a fully decentralized exchange protocol running on EVM compatible blockchains. Code base is open source and can be checked here.
Recent grants
2019-2023: ANR DCORE - Causality in concurrent systems (with INRIA & ENS Paris)
2019-2021: Bourse de la chaire blockchain de l’École Polytechnique (LIX/INRIA/Capgemini)
Some talks
On éteint, on réfléchit, on discute… (French) for Université Paris Cité students. Talk on blockchains (Dec 2023)
From Molecules to Systems: the problem of knowledge representation in molecular biology. Collège de France seminar (in French!) from Chaire Informatique et Sciences de l’Information, Walter Fontana (2019).
Physical systems, composite explanations and diagrams. Invited talk at SYCO5, 2019.
Jobbers, sentient buildings and lions: a short walk into Robin Milner’s tower. In memoriam of Robin Milner, talk at the Milner Symposium in Edinburgh (2012).
Publications
My complete list of publication can be found here.
Otherwise, you can check what google believes my publications are here.
News
Vincent Danos and I received the CONCUR’23 Test of Time award for Reversible communicating Systems.