Truong X Nghiem
age ~45
from Flagstaff, AZ
- Also known as:
-
- Nghiem Truong
Truong Nghiem Phones & Addresses
- Flagstaff, AZ
- Philadelphia, PA
- Plainsboro, NJ
Us Patents
-
System And Method For Feedback-Guided Test Generation For Cyber-Physical Systems Using Monte-Carlo
view source -
US Patent:8374840, Feb 12, 2013
-
Filed:Oct 14, 2009
-
Appl. No.:12/578855
-
Inventors:Sriram Sankaranarayanan - Boulder CO, US
Franjo Ivancic - Princeton NJ, US
Aarti Gupta - Princeton NJ, US
Truong X. Nghiem - Philadelphia PA, US -
Assignee:NEC Laboratories America, Inc. - Princeton NJ
-
International Classification:G06G 7/62
-
US Classification:703 17
-
Abstract:A system and method for generating test vectors includes generating traces of a system model or program stored in memory using a simulation engine. Simulated inputs are globally optimized using a fitness objective computed using a computer processing device. The simulation inputs are adjusted in accordance with feedback from the traces and fitness objective values by computing a distance between the fitness objective value and a reachability objective. Test input vectors are output based upon optimized fitness objective values associated with the simulated inputs to test the system model or program stored in memory.
Resumes
Assistant Professor
view sourceLocation:
Flagstaff, AZ
Industry:
Higher Education
Work:
Northern Arizona University
Assistant Professor
University of Pennsylvania Jun 2017 - Dec 2017
Postdoctoral Researcher
Epfl (École Polytechnique Fédérale De Lausanne) Jul 2014 - Jun 2017
Postdoctoral Scientist
Epfl (École Polytechnique Fédérale De Lausanne) Jul 2014 - Dec 2014
Research Collaborator
University of Pennsylvania Sep 2005 - Sep 2012
Research Assistant
Assistant Professor
University of Pennsylvania Jun 2017 - Dec 2017
Postdoctoral Researcher
Epfl (École Polytechnique Fédérale De Lausanne) Jul 2014 - Jun 2017
Postdoctoral Scientist
Epfl (École Polytechnique Fédérale De Lausanne) Jul 2014 - Dec 2014
Research Collaborator
University of Pennsylvania Sep 2005 - Sep 2012
Research Assistant
Education:
University of Pennsylvania 2005 - 2012
Doctorates, Doctor of Philosophy, Electrical Engineering Hanoi University of Technology 1998 - 2003
Bachelor of Engineering, Bachelors, Electrical Engineering
Doctorates, Doctor of Philosophy, Electrical Engineering Hanoi University of Technology 1998 - 2003
Bachelor of Engineering, Bachelors, Electrical Engineering
Skills:
Algorithms
Latex
Matlab
Simulink
Simulations
Signal Processing
Programming
Python
Control Systems Design
Machine Learning
Mathematical Modeling
C
C++
Energyplus
Emacs
Control Theory
Green Building
Smart Grid
Optimization
Research
Latex
Matlab
Simulink
Simulations
Signal Processing
Programming
Python
Control Systems Design
Machine Learning
Mathematical Modeling
C
C++
Energyplus
Emacs
Control Theory
Green Building
Smart Grid
Optimization
Research
Languages:
English
Vietnamese
French
Vietnamese
French
Certifications:
Functional Programming Principles In Scala
Computing For Data Analysis
Functional Programming Principles In Scala (Link)
Computing For Data Analysis (Link)
Computing For Data Analysis
Functional Programming Principles In Scala (Link)
Computing For Data Analysis (Link)
Postdoctoral Researcher At University Of Pennsylvania
view sourcePosition:
Postdoctoral researcher at University of Pennsylvania
Location:
Greater Philadelphia Area
Industry:
Research
Work:
University of Pennsylvania - Philadelphia, PA, USA since 2012
Postdoctoral researcher
University of Pennsylvania - Philadelphia, Pennsylvania, USA Sep 2005 - Sep 2012
Research Assistant
NEC Laboratories America Jun 2008 - Aug 2008
Intern
Hanoi University of Technology Sep 2003 - Aug 2005
Lecturer
Postdoctoral researcher
University of Pennsylvania - Philadelphia, Pennsylvania, USA Sep 2005 - Sep 2012
Research Assistant
NEC Laboratories America Jun 2008 - Aug 2008
Intern
Hanoi University of Technology Sep 2003 - Aug 2005
Lecturer
Education:
University of Pennsylvania 2005 - 2012
Ph.D., Electrical Engineering Hanoi University of Technology 1998 - 2003
B.Eng., Electrical Engineering- Automatic Control
Ph.D., Electrical Engineering Hanoi University of Technology 1998 - 2003
B.Eng., Electrical Engineering- Automatic Control
Skills:
Matlab
Algorithms
LaTeX
Simulink
EnergyPlus
Emacs
Python
Algorithms
LaTeX
Simulink
EnergyPlus
Emacs
Python
Interests:
Education, research, emerging technology, green technology, investing, swimming, outdoor exercise
Honor & Awards:
- Vietnam Education Foundation Fellowship since September 2005.
- Second Prize in the National “Youth with Automation” Contest, Vietnam, November 2003.
- Dean’s List at Hanoi University of Technology for Outstanding Academic Performance, Ranked 1st in the Entire Graduating Class of 2003 (approx. 5000 students).
- Award for Student with Excellent Academic Results, Rector of Hanoi University of Technology, June 2003.
- Excellent Student Award, Name Recorded in the Golden Book, The Hanoi People’s Committee, August 2003.
- Second Prize in the “Student Research Contest,” Hanoi University of Technology, May 2003.
- Excellent Student Scholarship, Hanoi University of Technology, 1998-2003.
Languages:
Vietnamese
English
English
Youtube
Googleplus
Truong Nghiem
Truong Nghiem
Get Report for Truong X Nghiem from Flagstaff, AZ, age ~45