Vu Xuan Tung

Location: Hanoi, Vietnam | Email: toilatung90@gmail.com | Phone: (+84)846436425

About Me

An accomplished AI Specialist with a strong theoretical background and hands-on expertise in developing and deploying AI solutions for industrial applications. Skilled in machine learning, logic inference, computer algebra, operational research, and more. Recognized for innovative problem-solving, technical advising, and effective leadership in managing large-scale AI projects.

Education

  • Ph.D., Japan Advanced Institute of Science and Technology (JAIST) - Outstanding Performance Award
  • Master's Degree, JAIST - Recipient of JAIST 5D Scholarship
  • Bachelor's in Computer Science, University of Engineering and Technology (UET), Vietnam National University Hanoi - GPA: 3.62/4.0

Skills

  • Technical: Python, C++, Java, Matlab, TensorFlow, PyTorch, OpenCV, Keras, MPI, Django, Rails, SAT/SMT Solvers (Z3, miniSAT, CVC4)
  • Machine Learning: Neural Networks, SVM, Clustering, PCA, CNN, RNN, Transformer Models, Diffusion Models
  • Languages: Vietnamese (native), English (advanced), Japanese (intermediate)

Experience

Senior AI Specialist / Team Lead: As a senior AI specialist and team lead, I have spearheaded various AI research and development initiatives focused on cutting-edge applications. My responsibilities included overseeing the development of innovative AI solutions, leading project management, and providing technical guidance to ensure successful deployment and scaling of AI models for real-world applications. In this role, I mentored team members, promoted knowledge-sharing, and ensured the alignment of AI strategies with business objectives.

AI Specialist and OCR Expert: In my role as an AI specialist, I led the research and development of OCR and document analysis systems, with a strong emphasis on natural language processing and image recognition. My work involved advising clients on technical strategies, defining project roadmaps, and implementing advanced machine learning models tailored for document extraction and data processing tasks. I also coordinated with cross-functional teams to ensure the successful integration of AI models into client systems, driving process automation and accuracy improvements.

AI Engineer and Solutions Architect: Earlier in my career, I contributed as an AI engineer and solutions architect, focusing on system design, implementation, and deployment of AI-powered applications. My work covered a range of projects from text analysis to real-time data processing, and I played a key role in project estimation, proposal development, and client interactions. This experience provided me with a solid foundation in AI project lifecycle management, and I built proficiency in delivering solutions that meet both technical and business requirements.

Scholarships, Grants, and Awards

  • 04/2015 - 03/2018: JAIST 5D scholarship
  • 06/2016 - 05/2017: JAIST Off-Campus Grant for collaborative research at LORIA, France
  • 07/2016: Woody Bledsoe award to attend the IJCAR 2016 conference – Portugal
  • 07/2016: JAIST Foundation Grant to attend the IJCAR 2016 conference - Portugal
  • 04/2013 - 03/2015: JAIST scholarship by Recommendation (from Overseas) Based on Agreement for master students
  • 04/2013 - 03/2014: JASSO Scholarship

Certificates

  • ACM-ICPC 2010 Asia Hanoi Regional Contest on November 26th, 2010
  • AWS Machine Learning Specialty

Foreign Languages

  • English: Advanced
  • Japanese: Intermediate (N3 in JLPT December 2015, N2 in JLPT December 2017)

Publications

  • Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Vu Xuan Tung. "Subtropical Satisfiability." In *Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS)*, LNCS, Volume 10483, pp. 189-206, 2017.
  • Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa. "raSAT: an SMT Solver for Polynomial Constraints." In *Formal Methods in System Design (FMSD)*.
  • Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa. "raSAT: an SMT Solver for Polynomial Constraints." In *Proceedings of the International Joint Conference on Automated Reasoning (IJCAR)*, Volume 9706, pp. 228-237, 2016.
  • Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu. "A Type System for Counting Logs of Multi-threaded Nested Transactional Programs." In *Proceedings of the 12th International Conference on Distributed Computing and Internet Technology (ICDCIT)*, pp. 157-168, 2016.
  • Vu Xuan Tung, Nguyen Le Minh, Duc Tam Hoang. "Semantic Parsing for Vietnamese Question Answering System." In *Proceedings of the 7th International Conference on Knowledge and Systems Engineering (KSE)*, pp. 332-335, 2015.
  • Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen. "A type system for finding upper resource bounds of multi-threaded programs with nested transactions." In *Proceedings of the 3rd International Symposium on Information and Communication Technology (SoICT)*, pp. 21-30, 2012.

Interests

Sports, card games, programming, information technologies.