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.
To prepare for such adventure, I graduated with the Master Parisien de Recherche en Informatique from Université Paris Diderot and formely worked on Malware Research and Pushdown Model-Checking as a Research Intern at Commissariat à l’Énergie Atomique (CEA LIST/LSL).
My research now focuses on giving formal semantics for heterogeneous 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.
- 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.