Tuan Anh Nguyen

Tuan Anh Nguyen

Researcher in Computer Science with Specialization in Dependable, Autonomous and Intelligent Systems.

Projects

Funded research & engineering

Sixteen programmes, from a CubeSat in Hanoi to a humanoid that has to stay upright

Sixteen funded research and engineering programmes, spanning national research centres, defence and aerospace contracts, bilateral cooperations and industry development work. Each card gives the programme itself: what it set out to build, who hosted and funded it, how long it ran, and the papers it produced.

Programmes
16
Domains
4
Since
2009
Papers
42

Dates are the funded span of each programme, so several run past today — the nine-year urban air mobility centre is funded to 2029. Papers counts the 42 entries on the publications page that the cards link out to.

Programme timeline

All 16 programmes on one axis, oldest first, each bar drawn across its funded span.

  1. F-1 pico-satellite 2009 – 2011
  2. Korea–Peru UAV cooperation 2011 – 2014
  3. Unmanned craft automatic control 2012
  4. Heritage 3D mapping by airship 2013
  5. Balloon-satellite platform 2013
  6. Naval ship survivability (ST-54) 2014 – 2015
  7. Advanced UAV reliability 2014
  8. GENESIS streaming platform 2015 – 2020
  9. Hybrid cloud technologies 2016 – 2019
  10. Korea–Vietnam disaster-tolerant cloud 2017 – 2018
  11. AI digital twin for UAM Jun 2020 – May 2029
  12. i-MeC2 framework Sep 2021 – Aug 2026
  13. Certified neural flight control 2022 – 2026
  14. Future automobile R&D Mar 2022 – Feb 2027
  15. Helicopter avionics Jun 2025 – Dec 2027
  16. Dyno humanoid robot Mar 2026 – present

The programmes

Grouped into four eras, newest first. Where a programme produced papers, the identifiers link straight to the entry on the publications page.

Robotics and mobility2025 – now

Industry development programmes in Vietnam: humanoid robotics at VinDynamics, and the avionics workstream of a national rotorcraft programme.

A white humanoid robot stepping up a low block staircase in a bright laboratory, with a row of glowing cyan skeleton figures standing on lit rings behind it and a frosted panel holding one rising curve.
Learning control

Dyno Humanoid Robot Research and Development

Research and development of the Dyno humanoid robot platform, run by the Robot Control and Software Division of VinDynamics.

Period
Mar 2026 – present
Host
VinDynamics, VinGroup
Funding
Industry programme · Technology Group, VinDynamics
Where
Hanoi, Vietnam
A light-grey civil helicopter in a bright hangar, a luminous cyan line running the length of the fuselage with a waveform at its centre, and four glowing translucent equipment boxes standing on the floor beside it.
Air mobility

Viettel Helicopter Development and Manufacture

A national rotorcraft development and manufacturing programme. Its avionics workstream covers the on-board computing and communication architecture of a modern helicopter, together with AI models for real-time flight data analytics and automatic flight control.

  • Avionics architecture
  • Real-time computing
  • Data-link systems
  • Flight data analytics
  • Automatic flight control
Period
Jun 2025 – Dec 2027
Host
Viettel Aviation Technology Center (VATC), Viettel Group
Funding
Industry programme · Viettel Group
Where
Hanoi, Vietnam

AI digital twins for air mobility2020 – 2029

Korean national research grants hosted at Konkuk University: a nine-year centre for UAM digital twins, a middle-career grant on resilient smart-city services, certified neural flight control, and a mobility talent programme run as applied R&D.

A white light aircraft on a clean hall floor beside an identical cyan wireframe copy of itself hovering over a glowing grid pedestal, a dotted arc linking the two, and a cloud slab of pale server cylinders overhead dropping threads of light onto both.
Air mobility

Artificial Intelligence Digital Twin Research for Smart Urban Air Mobility

The flagship programme of the decade: an AI-driven digital twin ecosystem for urban air mobility, linking eVTOL vehicle dynamics to cloud and edge simulation, dependable platforms, blockchain and federated learning, and multi-agent AI, across vehicle dynamics, cloud-in-the-loop simulation and UAM service dependability.

  • Digital twin architecture
  • Cloud-in-the-loop simulation
  • Physics-informed dynamics
  • Federated learning
  • Blockchain
  • Virtual certification
Related publications P06C46C22C20C15C14J35J27
Period
Jun 2020 – May 2029
Host
Konkuk Aerospace Design-Airworthiness Institute (KADA), Konkuk University
Funding
Excellent Research Center project · National Research Foundation of Korea, Basic Science Program of the Ministry of Education
Instrument
Grant 2020R1A6A1A03046811 · approx. KRW 7.7 billion over nine years
Team
About 30 full-time M.Sc. and Ph.D. researchers
Where
Seoul, South Korea
A white autonomous test car on a bright proving ground, a cyan scanning fan sweeping forward from its roof sensor, and the road ahead overlaid with a glowing grid of cells, one lit green and one amber.
Learning control

Training Experts in Future Automobile R&D

A talent programme run as applied R&D: graduate projects on autonomous navigation, SLAM and deep reinforcement learning, sensor-data processing and reliable vehicle service infrastructure, aligned with what the mobility industry actually needed from software.

  • Deep reinforcement learning
  • SLAM
  • Autonomous navigation
  • Sensor fusion
  • Edge/cloud platforms
Related publications J52P03P02C44C33C29
Period
Mar 2022 – Feb 2027
Host
Konkuk University
Funding
Professional education project · Ministry of Trade, Industry and Energy, South Korea
Where
Seoul, South Korea
A clean miniature city seen from above, cyan sensor nodes on the rooftops joined by a mesh of light, a translucent green dome over the central block, and a cloud slab carrying pale server cylinders and amber edge boxes floating above.
Dependability

Secure and Reliable Multi-Agent Public Safety Services for Disaster Tolerance in Urban Smart Cities

The i-MeC2 framework: secure, reliable, multi-agent public-safety services for smart cities, built on bio-inspired collaboration and intelligent edge and cloud computing — and the quantitative models that tell an operator how much resilience a given architecture actually buys.

  • Stochastic reward nets
  • Hierarchical models
  • Sensitivity analysis
  • Moving-target defence
  • Edge/fog computing
  • Blockchain
Related publications J17J13J15J21C26C25
Period
Sep 2021 – Aug 2026
Host
Konkuk University
Funding
Middle-Career Researcher project · National Research Foundation of Korea, Basic Science Program of the Ministry of Education
Instrument
Grant 2021R1A2C2094943 · approx. KRW 800 million over five years
Where
Seoul, South Korea
Three white rotorcraft rising in sequence across a bright hall, above a large glowing cyan bowl of concentric contour rings with a single bright trajectory spiralling down to the point at its centre, ringed by a green dashed boundary.
Learning control

Certified and Safe Neural Control and Reinforcement Learning for eVTOL/PAV Flight

Learned flight controllers you can argue about formally: deep neural attitude and flight control carrying exponentially stabilizing control-Lyapunov certificates, tiltrotor transition under safety constraints, and verification machinery strong enough to certify what the network learned.

  • es-DNLC
  • Control-Lyapunov functions
  • PX4 SITL
  • Gazebo
  • Region of attraction
  • CEGIS
  • dReal SMT
Related publications C37C35C34C32C28C27C23
Period
2022 – 2026
Host
KADA, Konkuk University
Funding
Research thrust within the AI Digital Twin for Urban Air Mobility programme
Where
Seoul, South Korea

Dependable cloud and network infrastructure2014 – 2020

Quantitative dependability applied to operating infrastructure: active-active clouds, software-defined networks, hybrid cloud economics, naval survivability, and the reliability of an early unmanned aircraft.

Two data-centre sites on a pale tropical plain, the left one inside a red dashed ring with its racks faded to grey and the right one glowing green inside a green ring, joined by a cyan arc carrying a stream of light from left to right.
Dependability

Korea–Vietnam Cooperative Project on Disaster-Tolerant Cloud Systems

A bilateral study putting a number on business continuity: how much a geographically distributed, active-active cloud is really worth once you model the sites, the links between them, and the recovery policies that connect the two.

  • Active-active clouds
  • Stochastic reward nets
  • Sensitivity analysis
  • Business continuity
Related publications C11C13J03
Period
2017 – 2018
Host
Konkuk University, with the Institute of Information Technology, VAST, Hanoi
Funding
Institute for Information and Communication Technology Promotion (IITP), South Korea
Instrument
Approx. KRW 40 million over two years
Where
Seoul, South Korea · Hanoi, Vietnam
A cutaway on-premise server hall on the left and a cloud of pale server cylinders on the right, joined by a glowing cyan lane carrying small blue and green cubes, with a frosted panel above holding two curves that cross.
Dependability

High-Performance Hybrid Cloud Computing Technologies for Knowledge Information Services

Model-based technology assessment for high-performance hybrid cloud services — virtualized servers, software-defined networks, data-centre networks — turned into concrete guidance on redundancy, migration, rejuvenation, capacity and the cost of an SLA.

  • Stochastic reward nets
  • Hierarchical modelling
  • Performability
  • Software rejuvenation
  • SDN
Related publications J06J05J04B01C12C10
Period
2016 – 2019
Host
Konkuk University
Funding
Institute for Information and Communication Technology Promotion (IITP), South Korea
Where
Seoul, South Korea
A bright logistics yard of white warehouses and pale containers, a cyan river of data motes running down the centre and splitting to feed two mirrored server blocks, each standing on a green ring.
Dependability

Distributed/Parallel Platform of Streaming Big Data Processing for Logistics and Transportation

The GENESIS cloud platform for distributed, parallel streaming analytics in logistics and transportation, with active-active high availability and disaster tolerance as first-class requirements rather than afterthoughts.

  • Streaming analytics
  • Active-active HA
  • Disaster tolerance
  • SRN modelling
  • Storage virtualization
Related publications J06J05J03J02C11C08
Period
2015 – 2020
Host
Konkuk University · Information Technology Research Center
Funding
IITP · Ministry of Science, ICT and Future Planning, South Korea
Where
Seoul, South Korea
A grey warship at a clean quay, its hull overlaid with a luminous cutaway of compartment cells - several amber and one red inside a dashed outline - with a green path threading around them from bow to stern.
Dependability

Analysis Technique Study (ST-54) for Improving Integrated Survivability of Naval Ships

Defence-funded work on integrated survivability analysis for naval vessels: the software and the analysis technique behind how a ship's mission capability degrades as its compartments and systems are damaged.

  • Survivability analysis
  • Systems modelling
  • Simulation software
Period
2014 – 2015
Host
Specialized Research Center for Survivability Technology, Korea Aerospace University
Funding
Defense Acquisition Program Administration (DAPA) and the Agency for Defense Development, South Korea
Instrument
Contract UD120019OD
Where
Seoul, South Korea
A white fixed-wing unmanned aircraft on a stand in a bright assembly hall, with a floating diagram of three glowing translucent blocks joined by light lines, two cyan and one amber, beside a frosted panel holding a single curve.
Dependability

Reliability Study of Advanced UAV

A reliability study of an advanced unmanned aerial vehicle, applying to an airframe the stochastic dependability modelling developed for data-centre infrastructure.

  • Reliability modelling
  • Fault analysis
  • UAV systems
Period
2014
Host
Korea Aerospace University
Funding
National IT Industry Promotion Agency (NIPA), South Korea
Where
Seoul, South Korea

Space, UAV and embedded systems2009 – 2015

Small flight and space platforms built for training and survey work: a CubeSat in Hanoi, then unmanned airships, balloon payloads and survey aircraft in Seoul, where redundancy and survivability were design requirements rather than analysis.

A white survey aircraft flying over a mountain valley of terraced ridges and a winding river, a cyan scan swath fanning down from it and laying a grid of survey cells across the ground, with a dish ground station on a near ridge.
Aerospace

UAV-Based Korea–Peru Cooperation for Resource Exploration and Environmental Monitoring

A science-and-technology cooperation programme flying unmanned aircraft for resource exploration and environmental monitoring, and the embedded flight and mission software that made those surveys repeatable.

  • Embedded flight software
  • Mission planning
  • Remote sensing payloads
Period
2011 – 2014
Host
Network Security and Embedded Systems Lab (NS Lab.), Korea Aerospace University
Funding
National Research Foundation of Korea
Where
Seoul, South Korea · Peru
A white unmanned airship with a camera gondola hovering over the tiled roofs and red columns of a heritage courtyard, its cyan camera beam feeding a large glowing wireframe mesh reconstructed in the air beside it.
Aerospace

Construction of Historical Sites 3D Spatial Information Using Unmanned Airships

Unmanned airships used as a slow, stable camera platform to build three-dimensional spatial information for historical sites — aerial photogrammetry where a fixed-wing survey would be too fast and a crane too intrusive.

  • Aerial photogrammetry
  • Unmanned airships
  • 3D spatial reconstruction
Related publications C04
Period
2013
Host
Korea Aerospace University
Funding
Korea Cadastral Survey Corporation (now LX), South Korea
Where
Seoul, South Korea
A white high-altitude balloon carrying an instrument box above a bright cloud deck, a cyan telemetry arc curving down from the payload to a dish ground station on a distant hillside.
Aerospace

Balloon-Satellite Project for Training and Education

A near-space balloon platform built as a teaching instrument: payload electronics, on-board software and telemetry cheap enough to fly with students, close enough to a real spacecraft to teach the discipline.

  • Payload electronics
  • Embedded software
  • Telemetry and ground station
Period
2013
Host
Network Security and Embedded Systems Lab (NS Lab.), Korea Aerospace University
Funding
Korea Aerospace University
Where
Seoul, South Korea
A white unmanned airship hovering over a bright airfield apron, encircled by four glowing translucent blocks joined into a closed loop by arrowed cyan lines, with a red, green and blue attitude gizmo at the craft's centre.
Aerospace

Unmanned Spacecraft Automatic Control System Development

Automatic control system development for an unmanned craft: the embedded hardware and software architecture, the sensing, and the closed control loop that flew it.

  • Automatic control
  • Embedded hardware design
  • Real-time control software
Related publications C03C02
Period
2012
Host
Korea Aerospace University
Funding
Korea Institute of Geoscience and Mineral Resources (KIGAM), South Korea
Where
Seoul, South Korea
A small solar-panelled cube satellite on a white pedestal in a cleanroom, a technician in a coverall standing behind it, and three stacked glowing translucent circuit boards linked back to the cube by light lines, with the Earth's limb visible through the window.
Aerospace

F-1 Pico-Satellite for Training and Education in Vietnam

A 10 cm, 1 kg CubeSat built from commercial off-the-shelf parts as Vietnam's training platform and Earth-observation mission, carrying two 0.3 MP cameras, one 1.0 MP camera and temperature, magnetic-field and current sensors. Power, on-board computing and communications were made double or triple redundant so the spacecraft could survive launch vibration and the on-orbit thermal and radiation environment.

  • CubeSat systems
  • Redundant subsystem design
  • Embedded C
  • Reliability analysis
Related publications C01
Period
2009 – 2011
Host
FSpace Laboratory, FPT Technology Research Institute, FPT Corporation
Funding
FPT Software, FPT Corporation, Vietnam
Where
Hanoi, Vietnam