Scholar
Van-Giang Trinh
Google Scholar ID: wve4AkAAAAAJ
Inria Saclay, Lifeware team
Citations & Impact
Citations
152
H-index
7
i10-index
4
Publications
20
Co-authors
12
list available
Publications
Resume (English only)
Academic Achievements
- - Publications:
- - "On the trap space semantics of normal logic programs" accepted at ICLP 2025 as a regular paper
- - "Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks" accepted at CP 2025 as a regular paper
- - "On the number of asynchronous attractors in AND-NOT Boolean networks" accepted at AUTOMATA 2025 as an exploratory paper
- - "Mapping the attractor landscape of Boolean networks with biobalm" published at Bioinformatics as a regular paper
- - Preprint: "On the Boolean Network Theory of Datalog$^
- eg$" online at arXiv
- - Program Committee Member for NMR 2025 and ASPOCP 2025
Research Experience
- - Postdoctoral Researcher at LIRICA team within LIS laboratory from 04/2022 to 09/2024
- - Postdoctoral Researcher at LIFEWARE team within INRIA Saclay from 10/2024 to 08/2025
- - Lecturer and Researcher at Ho Chi Minh City University of Technology starting September 2025
Education
- PhD: Japan Advanced Institute of Science and Technology, November 2021
Background
- Research Interests: Theoretical Computer Science, Symbolic Artificial Intelligence, and Computational Systems Biology. Focuses on formal frameworks such as Boolean Networks, Petri Nets, Answer Set Programming, and Abstract Argumentation, exploring their interconnections and applications to modeling, analysis, and control of biological systems.
Miscellany
- Visited several academic institutions and gave talks, including the Institute of Posts and Telecommunications Technology, MLLab (School of Information and Communications Technology, Hanoi University of Science and Technology), and Vietnam Institute of Mathematics.
