Home Page of Van-Giang Trinh

I am currently a researcher at the Institute of Mathematics, Vietnam Academy of Science and Technology (VAST), since November 2026. From September 2025 to October 2026, I was a lecturer and researcher at Ho Chi Minh City University of Technology. Previously, I was a postdoctoral researcher in the LIFEWARE team at Inria Saclay from October 2024 to August 2025, and in the LIRICA team at LIS from April 2022 to September 2024. I received my PhD from the Japan Advanced Institute of Science and Technology in November 2021.

Research Interests

My research lies at the intersection of theoretical computer science, mathematical logic, symbolic artificial intelligence, and discrete dynamical systems. I investigate the semantics, structural properties, and computational complexity of Boolean networks, logic programming, formal argumentation, and Petri nets. A central objective is to uncover and exploit connections among these formalisms to develop new theoretical foundations and symbolic computational methods. My interests also extend to computational systems biology and constraint-based optimization.

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

November 02, 2026: I started my new position as a researcher at the Institute of Mathematics, Vietnam Academy of Science and Technology (VAST), Hanoi.
August 21, 2026: Our paper "Relating biomarkers and phenotypes using dynamical trap spaces" has been published in npj Systems Biology and Applications .
August 03, 2026: I have started participating in the thematic semester "Graphs and Beyond" in Hanoi as a CIMPA–ICRTM fellowship laureate. I am attending the summer school "Complex Networks: Theory and Practice" at the Vietnam Institute of Mathematics.
August 02, 2026: Our paper "Relating Biomarkers and Phenotypes Using Dynamical Trap Spaces" has been accepted for publication in npj Systems Biology and Applications. The preprint is available at this link.
July 23, 2026: Our paper "Walk-In Multi-Stage Patient Flow Scheduling: An ASP Model with DES-Based Evaluation" has appeared in the proceedings of ICLP 2026, held as part of FLoC 2026 in Lisbon. The paper is available at this link.
July, 2026: Our paper "BAss: Symbolic Reasoning in Abstract Dialectical Frameworks" has been published at KR 2026 in the "KR in the Wild" track. The paper is available at this link.
May 12, 2026: My Diversity and Inclusion (D&I) Grant application for KR 2026 has been accepted.
April 24, 2026: I have joined the program committee of LPNMR 2026.
March 04, 2026: I have joined the program committee of ASPOCP 2026.
February 17, 2026: Our preprint "Relating Biomarkers and Phenotypes Using Dynamical Trap Spaces" has been made available on arXiv.
January 07, 2026: Our paper "On the Trap Space Semantics of Normal Logic Programs" has been published in the proceedings of ICLP 2025. The paper is available at this link.
December 08, 2025: I have joined the PC of KR 2026.
December 01, 2025: I have joined the PC of NMR 2026.
September 03, 2025: I have started my job at Ho Chi Minh City University of Technology as a lecturer and researcher.
August 28, 2025: I have visited the Institute of Posts and Telecommunications Technology (Posts and Telecommunications Institute of Technology), given a talk, had many open and interesting exchanges with the students there. An article about this visit can be found at this link.
August 07, 2025: I have visited MLLab (School of Information and Communications Technology - Hanoi University of Science and Technology) and given a talk there.
August, 2025: I have visited Vietnam Institute of Mathematics from 04/08 to 31/08.
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.