I am a PhD Candidate under Pr Burkhart Wolff and Pr Frédéric Boulanger in the VALS/MODHEL joint groups of LRI at Université Paris-Sud/CNRS. My research is focused on formal semantics towards heterogeneous timed models simulation expressed in the specification language TESL into the proof assistant Isabelle/HOL .
I share the deep conviction that mathematical foundations are essential for critical software-intensive systems development and hence formal methods are a cost-effective answer to the systems verification problem. Previously, I have also collaborated with teams developing the Pratham satellite, which has been successfully launched on September 26th, 2016 at 3:42 UTC onboard PSLV-C35.
- 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 endless wild landscapes. Distribution licences are provided by Getty Images.