Lately, I defended and obtained a Doctorate Degree in Computer Science from Université Paris Saclay 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. In particular, I have co-developed a certified simulation solver that addresses polytimed systems (relativistic time). For some examples, check out
- 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.