- PhD in Computer Science, 2019, Uppsala University
- Thesis: Model Checking of Software Systems under Weak Memory Models
- M.Sc. in Computer Science, 2013, Uppsala University
- Thesis: Ensuring the Correctness of Concurrent Programs under TSO Memory Models
- M.Sc. in Computer Science, 2021, Hanoi University of Science and Technology
- Thesis: Knowledge Discovery using Rule-based Approach
- B.Scs. in Computer Science, 2009, Hanoi University of Science and Technology
- Certified coach and trainer in:
- Agile Project Management, Issued by Google in Coursera. Nov 2021.
- Google Project Management, Issued by Google in Coursera, Nov 2021.
- Academic Teacher Training, Issued by Uppsala university, Dec 2018.
- IBM Certified Solution Designer: Object Oriented Analysis and Design, vUML 2, Issued by IBM. Jan 2010.
- IBM Certified Database Administrator: DB2 9 for Linux, UNIX and Windows, Issued by IBM. Jan 2010.