About
I am a R&D Engineer at Nomadic Labs, a company developing the Tezos blockchain.
Research
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. During research activites, I have co-developed a certified simulation solver that addresses polychronous systems with metric time constraints. For some examples, check out
- H. Nguyen Van, F. Boulanger, B. Wolff. TESL: a Model with Metric Time for Modeling and Simulation. 27th International Symposium on Temporal Representation and Reasoning (TIME 2020).
- H. Nguyen Van, F. Boulanger, B. Wolff. Timed Discrete-Event Simulation of Aviation Scenarios. Simulation Notes Europe, Volume 30(2), June 2020.
- H. Nguyen Van, T. Balabonski, F. Boulanger, C. Keller, B. Valiron, B. Wolff. On the Semantics of Polychronous Polytimed Specifications. 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020).
- 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 Modeling and Analysis of Timed Systems (FORMATS 2017).
In the past, I have collaborated with developers of the Pratham satellite, which has been successfully launched on September 26th, 2016 at 3:42 UTC onboard PSLV-C35.
- 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).
Aviation
I also hold a Commercial Pilot Licence with Multi-Engine Instrument Rating.