~/research

cat about.md

About me

I am a lecturer in computer science at Hanoi University of Science and Technology (HUST).

My research focuses on artificial intelligence, knowledge representation & reasoning, and optimization. My interests include logic programming, answer set programming, and linear algebraic approaches to logical reasoning.

I earned an engineering degree in Computer Science in 2015 and a master’s degree in 2019, both at HUST. In 2022, I completed my Ph.D. in Informatics at SOKENDAI (The Graduate University for Advanced Studies), Japan, with doctoral research at the National Institute of Informatics (NII).

My background also includes work as a project researcher in Katsumi Inoue’s lab, in NII’s Principles of Informatics Research Division, Tokyo. My doctoral studies were supported by MEXT and JICA Innovative Asia scholarships.

artificial intelligenceknowledge representation & reasoningoptimization

Education

2022
Ph.D. in InformaticsSOKENDAI / National Institute of Informatics, Japan
2019
M.S. in Computer ScienceHanoi University of Science and Technology
2015
Engineering degree in Computer ScienceHanoi University of Science and Technology

Scholarships

  • MEXT scholarship 2019–2022
  • JICA Innovative Asia 2019–2022
View publications

ls research/

Research interests

Logic & declarative programming

Logic programming and answer set programming within artificial intelligence and knowledge representation.

Linear algebraic reasoning

Linear algebraic approaches to logical reasoning, including matrix representations and sparse computation of logic programs.

Optimization

Optimization, including evolutionary computation and multi-objective, multi-task approaches.

cat publications.bib

Selected publications

All BibTeX

Loading publications…

cat contact.txt

Contact

For academic correspondence, please use my institutional email.

Department of Computer Science · SoICT · HUST