I am a Pilot Student at Aéropyrénées Flight Center.
Lately, I defended and obtained a Doctorate Degree in Computer Science from Université Paris-Sud entitled Formalizing Time and Causality in Polychronous Polytimed Models. I share the conviction that mathematics are a cost-effective answer to design critical software-intensive systems. Please feel free to have a look at Heron.
- 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, 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, I travel the world to discover and capture landscapes. Distribution licences can be provided by Getty Images.