Thanh Dat Nguyen

EXPERTISE AREAS Domains Model-Driven Engineering, Model-Driven Architecture, Model-Based System Engineering. - UML formalism, AADL Real-Time scheduling and analysis, Real-Time embedded system design methodologies. - MAST, AADL, Time4Sys Aerodynamic analysis - ANSYS Fluent, CFD Aircraft design - AutoCad Computation Process Automation - Matlab, Bash/Shell script EXPERIENCE 02/2023-01/2024 08/2022-11/2022 01/2021-08/2022 Software engineer at HTSC-HTI group Customize flight controller, configurator Design high performance UAV Team size: 5 Role: Former Teamlead / Developer Tool: Ansys, Autocad, Matlab, Qt-Qml Software architect at Veriserve-Vietnam Auto-generating test cases for state machine formalism Team size: 3 Role: Developer Technologies: C#, Java Framework: Enterprise Architect Software engineer at Viettel High Technology Conception of virtual reality software - Tactics and strategy meta-modeling - Graphic tactics editor construction - Fix bug - 3D animation Team size: 7 Role: Developer, Software architect Technologies: C++, UnrealEngine, Qt, Google Protobuf 08/2022-12/2022 12/2020-9/2021 10-12/2021 Software engineer (part time) Role: Developer Control HMI through network from Raspberrypi - HMI construction - Send and Receive file & command through network Technologies: C++, Qt, SFTP protocol, Ethernet Research engineer at Cognifier, Luxembourg (part time) Conception of Real Time Scheduling tool: Compositional Analysis implementation in Java - Transcribe library pyCPA from Python to Java Team size: 1 Role: Developer. Technologies: Python, Java Software engineer at CMD Technology (part time) Conception of HMI - Interaction C# and PLC through network LAN - Database design (ERD) and implementation with Hibernate Team size: 2 Role: main developer Technologies: C#, Hibernate, PLC 11/2016- 07/2020 LIAS laboratory, school of Engineer ENSMA, Chasseneuil du Poitou, France Static intern in domain: Model-Driven Engineering and Time Petri-Nets - Real Time Embedded System design tool (MoSaRT project) - Language conception - Real Time Analysis Algorithms implementation - Model-to-model transformation: AADL to Time4Sys, MoSaRT to AADL, MoSaRT to Time4Sys, Time4Sys to MAST. - Knowledge extraction Technologies: Java, EMF, ATL (Atlas Transformation Language), Acceleo, JavaFx, Alloy, Prolog. 04-10/2016 Internship at Laboratoire d’Informatique and Automatique des Système (LIAS) 86360 Chasseneuil du Poitou, France Software conception allowing to determine appropriate tests for given real-time embedded systems. 04-10/2014 Internship at LIAS-ENSMA 86360 Chasseneuil du Poitou, France Graphical editor construction for MoSaRT Design Language (a language developed at LIAS to design Real-time Embedded Systems) 08-12/2013 Internship at the Center of Development and Application of Software in Industry (DASI). Building Ta Quang Buu, HUST Research on mechanic characteristics of Unmanned Aerial Vehicle (UAV) 06-07/2013 Worker internship at Aerodynamic Laboratory, HUST Building T1, HUST Maintenance of flaming experience equipment. EDUCATION- School of Engineer ENSMA, Chasseneuil du Poitou, France Master 2 in Avionic Informatics Hanoi University of Science and Technology (HUST), Hanoi, Vietnam Excellent Engineers Training Program in Vietnam (PFIEV) Classification: Very good PUBLICATIONS Nguyen, T. D., Ouhammou, Y., & Grolleau, E. (2017, September). PARAD ● Repository: On the Capitalization of the Performance Analysis Process for AADL Designs. In European Conference on Software Architecture (pp. 22-39). Springer, Cham. ● Nguyen, T. D., Ouhammou, Y., Grolleau, E., Forget, J., Pagetti, C. & Richard, P. Design and Analysis of Semaphore Precedence Constraints: a Model-based Approach for Deterministic Communications in Design, Automation and Test in Europe conference (DATE). ● Nguyen, T. D., Ouhammou, Y., Grolleau, E. Towards a Descriptive Language to Explicitly Define the Applicability of Timing Verification Tests of Critical Real-Time. In Euromicro Conference on Software Engineering and Advanced Applications (SEAA). ● Nguyen, T. D., Ouhammou, Y., Grolleau, E. Towards a model-based framework to prototyping performance analysis tests. In Euromicro Conference on Real-Time Systems, WIP session (ECRTS). SCHOLARSHIPS AND AWARDS- ENSMA International master scholarship. 09/2013 Encouragement scholarship of MISHUBISHI company for six best students in academic year- Third prize at French Olympic, HUST COMPETENCES Office Computer skill Languages Programming Programming Framework - Microsoft Office - English: TOEIC 795, French: DELF B2 - Java, C#, C, C++, Python, OCL (Object Constraint Language) - Some declarative languages: Prolog, Alloy, Matlab - EMF (Eclipse Modeling Framework), Visual Studio, Qt - Ansys, Autocad, Matlab HOBIES Badminton, table tennis, music, mini-aircraft