I am a postdoctoral researcher at the LIFEWARE team within INRIA Saclay. I have been a postdoctoral researcher at the LIRICA team within the LIS laboratory from 04/2022 to 09/2024. I defended my PhD at the Japan Advanced Institute of Science and Technology in November 2021.
Research Interests
My research interests lie at the intersection of theoretical computer science, symbolic artificial intelligence, and computational systems biology. I focus on formal frameworks such as Boolean networks, Petri nets, answer set programming, and abstract argumentation, exploring their interconnections and their applications to the modeling, analysis, and control of biological systems. You can take a look at my complete curriculum vitae. My detailed list of publications and my talks can be accessed via the horizal top menu bar.Professional Services
I have reviewed papers for the following journals:- SIAM Journal on Applied Dynamical Systems (2023)
- IEEE/ACM Transactions on Computational Biology and Bioinformatics (2022, 2023)
News
- May 07, 2025: Our paper "Mapping the attractor landscape of Boolean networks with biobalm" has been published in Bioinformatics.
- April 23, 2025: Our preprint "On the Boolean Network Theory of Datalog$^\neg$" has been online in arXiv.