[Twitter]

• Ph.D student @[University of Oxford]
  • Computer Science Department
  • Oxford Robotics Institute
• Supervisors: Prof. Alessandro Abate; Prof. Nick Hawes; Dr. Raunak Bhattacharyya
• E-mail: an.nguyen[at]cs.ox.ac.uk ([at] -> @)

Research Interests

• Decision Making under Uncertainty
• Deep Reinforcement Learning
• Formal Verification & Model Checking
• Behavioural Cloning
• Autonomous Vehicles

Work Experiences

• Sept. 2019 - May. 2021: Software Engineer @Zatitech®
• Jul. 2018 - Oct. 2018: Research Internship @Horiba Mira

Teaching

• Computer Graphic, University of Oxford: Hilary-2022
• Internet of Things, (AIMS CDT's module), University of Oxford: Hilary-2023

Publications

• [HSCC '23] Yulong Gao, Duc-An Nguyen, Karl H. Johansson and Alessandro Abate, CTL Model Checking of MDPs over Distribution Spaces
• [QEST '22] Duc-An Nguyen, Yulong Gao, Karl H. Johansson and Alessandro Abate, CTL Model Checking of Markov Decision Processes over the Distribution Space Artifacts, Artifact Evaluation Submission
• [IEEE SMC '21] DA Nguyen, J Nwadiuto, H Okuda, T Suzuki, Modeling Car-Following Behavior in Downtown Area based on Unsupervised Clustering and Variable Selection Method
• [IFAC '20] DA Nguyen, J Nwadiuto, H Okuda, T Suzuki, Model Structure Identification of Hybrid Dynamical Systems based on Unsupervised Clustering and Variable Selection

Academic Services

• Reviewer at: IROS (2022), ICCA (2022), IFAC (2022), COSY (2022), FORMATS (2022)
• Participant @ARCH-COMP22