Luan Viet Nguyen
Scholar

Luan Viet Nguyen

Google Scholar ID: 8gSnyGAAAAAJ
Assistant Professor, University of Dayton
Cyber-physical SystemsDistributed SystemsFormal Methodand Control Theory
Citations & Impact
All-time
Citations
1,165
 
H-index
12
 
i10-index
16
 
Publications
20
 
Co-authors
2
list available
Resume (English only)
Academic Achievements
  • Sep 2024: Papers accepted at ICFEM 2024, NordSec 2024, KSE 2024.
  • Aug 2024: Paper accepted at ECAI 2024.
  • Mar 2024: Received UD Chapter Sigma Xi Early Career Award Recognition for Research.
  • Feb 2024: Awarded ODHE Third Frontier Innovation Initiatives Grant.
  • Jan 2024: Awarded Research Council Seed Grant.
  • Sep 2023: Paper published in ACM Transactions on Embedded Computing Systems.
  • Aug 2023: Paper accepted at IEEE MEMOCODE 2023.
  • May 2023: Paper published in IEEE Robotics and Automation Letters.
  • Mar 2023: Awarded NSF CRII Grant.
  • Feb 2023: Paper accepted at FORMALISE 2023 with Artifact Evaluation Badge; received UD Research Council Seed Grant and UD/UDRI Research Fellowship.
  • Jan 2023: Paper published in IEEE Transactions on Control of Network Systems.
  • Main developer of research tools including REAFFIRM (model-based repair for hybrid systems) and HyRG (random generation tool for affine hybrid automata).