I share the deep conviction that mathematics are a cost-effective answer to verify critical software-intensive systems, and prevent future generation software failures. My current research interests include: formal methods, mechanized semantics, and simulation languages.
- H. Nguyen Van, T. Balabonski, F. Boulanger, C. Keller, B. Valiron, B. Wolff. A symbolic operational semantics for TESL with an application to heterogeneous system testing. 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2017).
- H. Nguyen Van, T. Balabonski, F. Boulanger, S. Taha, B. Valiron, B. Wolff, L. Ye. Towards a formal semantics of the TESL specification language. 3rd International Workshop on The Globalization of Modeling Languages at MODELS 2015.
- H. Nguyen Van, S. Flih, I. Blanchard, B. Robert, L. Viens, M. Arnoux, P. Coïsson, O. Robert et al. French students build a ground station for Pratham satellite (abstract). 39th Committee on Space Research Scientific Assembly (COSPAR).
Apart from work matters, my interests mostly lie in traveling the world to discover and capture landscapes. Distribution licences are provided by Getty Images.