Van-Giang Trinh
Lifeware team, Inria Saclay
Bâtiment Alan Turing, Campus de l'École Polytechnique
1 rue Honoré d'Estienne d'Orves 91120 Palaiseau, France

 

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, my talks, and my professional services can be accessed via the horizal top menu bar.

News

  • June 04, 2025: I have joined the PC of NMR 2025.
  • May 31, 2025: Our paper "On the trap space semantics of normal logic programs" has been accepted at ICLP 2025 as a regular paper.
  • May 29, 2025: Our paper "Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks" has been accepted at CP 2025 as a regular paper.
  • May 25, 2025: I have joined the PC of ASPOCP 2025.
  • May 25, 2025: Our paper "On the number of asynchronous attractors in AND-NOT Boolean networks" has been accepted at AUTOMATA 2025 as an exploratory paper.
  • May 07, 2025: Our paper "Mapping the attractor landscape of Boolean networks with biobalm" has been published at Bioinformatics as a regular paper.
  • April 23, 2025: Our preprint "On the Boolean Network Theory of Datalog$^\neg$" has been online at arXiv.