Viet Yen Nguyen
Viet Yen Nguyen is a research engineer at the RWTH Aachen University where he works on the European Space Agency funded COMPASS-project. He conducts research in the area of stochastic model checking and supervises a team of scientific programmers for developing a comprehensive model checking toolset that is usable for the aerospace industry.
