I am currrently a lecturer and researcher at Ho Chi Minh City University of Technology. I have been a postdoctoral researcher at the LIRICA team within the LIS laboratory from 04/2022 to 09/2024 and a postdoctoral researcher at the LIFEWARE team within INRIA Saclay from 10/2024 to 08/2025. 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
- 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.