Directory

Profile

Dr. Luan Nguyen is an Assistant Professor at the Department of Computer Science, University of Dayton. Previously, He was a postdoctoral research associate at the Department of Electrical Engineering, University of Notre Dame and at the PRECISE Center, University of Pennsylvania. He received his B.E. in May 2012 and M.Sc. degree in December 2012 at The Catholic University of America. During his Ph.D., he was a member of the Verivital Lab at The University of Texas at Arlington, under the supervision of Prof. Taylor T. Johnson.

His research interest is developing formal verification techniques and state-of-the-art software tools to enforce safety, reliability, security and resiliency of autonomous cyber-physical systems (CPS), with practical applications across CPS domains such as power and energy systems, medical devices, automotive, aerospace and robotics.

Courses taught

• CPS 592: Cyber-Physical Systems and the Internet of Things

Research interests

• Cyber-Physical Systems: Formal Verification, Logic-guided Testing, and Specification Mining
• Safe Autonomy
• Security and Privacy
• Information Flow Analysis
• Software Safety and Reliability

Professional activities

Luan has been a reviewer for the following: 

• IEEE International Conference on Software Testing, Verification and Validation
• IEEE Real-Time Systems Symposium (RTSS)
• ACM SIGBED International Conference on Embedded Software (EMSOFT)
• ACM Transaction on Cyber Physical System (TCPS)
• ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
• ACM International Conference on Cyber-Physical Systems (ICCPS)
• Proceedings of the IEEE
• American Control Conference
• ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
• ACM 32nd International Conference on Computer-Aided Verification (CAV)
• IEEE Transactions on Power Electronics
• IEEE Transactions on Neural Networks and Learning Systems

Selected publications and presentations

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, and Rajeev Alur, “Detecting Security Leaks in Hybrid Systems with Information Flow Analysis,” 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019), San Diego, October 2019. (Best Paper Award).

Hoang Dung Tran, Patrick Musau, Manxanas Lopez Diego, Xiao Dong Yang, Luan Viet Nguyen, Weiming Xiang, and Taylor T. Johnson, “Star-Based Reachability Analysis of Deep Neural Networks,” 23rd International Symposium on Formal Methods (FM 2019), Portugal, October 2019.

Hoang Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, and Taylor T. Johnson, “Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems,” 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019), Denmark, June 2019.

Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, and Taylor T. Johnson, “Cyber-Physical Specification Mismatches,” ACM Transactions on Cyber-Physical Systems (TCPS), September 2018.

Luan Viet Nguyen, Bardh Hoxha, Georgios Fainekos and Taylor T. Johnson, “Mission Planning for Multiple Unmanned Vehicles using UxAS,” IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2018), Oxford, July 2018.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, and Taylor T. Johnson, “Hyperproperties of Real-Valued Signals,” 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017), Vienna, October 2017.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy Deshmukh, Ken Butts, and Taylor T. Johnson, “Abnormal Data Classification Using Time-Frequency Temporal Logic,” 20th ACM International Conference on Hybrid Systems: Computation and Control 2017 (HSCC 2017), Pittsburgh, PA, April 2017.

Omar Beg, Luan Viet Nguyen, Taylor T. Johnson and Ali Davoudi, “Signal Temporal Logic-based Attack Detection in DC Microgrids,” IEEE Transactions on Smart Grid, 2017.

Luan Viet Nguyen, Hoang-Dung Tran, and Taylor T. Johnson, “Virtual Prototyping for Distributed Control of a Fault-Tolerant Modular Multilevel Inverter for Photovoltaics,” in IEEE Transactions on Energy Conversion, vol. 29, pp. 841-850, December 2014.