Nguyen Quoc Tuan

Lecturer, Department Of Computer Science

Ph.D. (Informatics, National Institute of Informatics, Japan, 2022) 
M.S. (Computer Science, Hanoi University of Science and Technology, 2019) 
B.S. (Computer Science, Hanoi University of Science and Technology, 2015)

Email: tuannq@soict.hust.edu.vn

• Artificial Intelligence 

• Knowledge representation & reasoning 

• Optimization  

• Logic programming, answer set programming  

• Linear algebraic approaches for logic reasoning  

Nguyen Quoc Tuan is a lecturer at the School of Information Technology and Communication, Hanoi University of Science and Technology (HUST). He received his Ph.D. in Informatics in 2022 from National Institute of Informatics, Tokyo, Japan. He was awarded a scholarship by the Japanese government (Ministry of Education, Culture, Sports, Science and Technology or MEXT) for his Ph.D. program. During that time, he was also a recipient of JICA Innovative Asia scholarship funded by Japan International Cooperation Agency (JICA). His current research interests include artificial intelligence, knowledge representation & reasoning, and optimization.

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Linear algebraic partial evaluation of logic programs. In Proceedings of the 2024 IEEE 36rd Inter-national Conference on Tools with Artificial Intelligence (ICTAI), pages 355–362. IEEE, 2024. doi: 10.1109/ICTAI62512.2024.00059. 

• Tuan Quoc Nguyen and Katsumi Inoue. On converting logic programs into matrices. In Proceedings of the International Conference on Agents and Artificial Intelligence (ICAART), pages 405–415, 2023. doi: 10.5220/0011802400003393. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Linear algebraic abduction with partial evaluation. In Proceedings of the International Symposium on Practical Aspects of Declarative Languages (PADL), pages 197–215. Springer, 2023. doi: 10.1007/978-3-031-24841-2_13. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Enhancing linear algebraic computation of logic programs using sparse representation. New Generation Computing, 40(1):225–254, 2022. doi: 10.1007/s00354-021-00142-2. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Linear algebraic computation of propositional horn abduction. In Proceedings of the 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI), pages 240–247. IEEE, 2021. doi: 10.1109/ICTAI52525.2021.00040. 

• Tuan Quoc Nguyen, Katsumi Inoue, and Chiaki Sakama. Enhancing linear algebraic computation of logic programs using sparse representation. volume 325 of EPTCS Online Proceedings of International Conference on Logic Programming (ICLP), pages 192–205, 2020. doi: 10.4204/EPTCS.325.24. 

• Huynh Thi Thanh Binh, Tuan Quoc Nguyen, and Doan Cao Thanh Long. A multi-objective multi-factorial evolutionary algorithm with reference-point-based approach. In 2019 IEEE Congress on Evolutionary Computation (CEC), pages 2824–2831. IEEE, 2019. doi: 10.1109/CEC.2019.8790034. 

• Tuan Quoc Nguyen, Ta Duy Hoang, and Huynh Thi Thanh Binh. A guided differential evolutionary multi-tasking with powell search method for solving multi-objective continuous optimization. In 2018 IEEE congress on evolutionary computation (CEC), pages 1–8. IEEE, 2018. doi: 10.1109/CEC.2018.8477860. 

• MEXT scholarship, 2019-2022  
• JICA Innovative Asia, 2019-2022