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

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.

Aviation

I also hold a Commercial Pilot Licence with Multi-Engine Instrument Rating.

Contact me


Warning: fopen(/home/nguyen-van/analytics.xml): failed to open stream: Permission denied in /home/nguyen-van/www/index.php on line 229

Warning: ftell() expects parameter 1 to be resource, bool given in /home/nguyen-van/www/index.php on line 230

Warning: fseek() expects parameter 1 to be resource, bool given in /home/nguyen-van/www/index.php on line 231

Notice: Undefined property: stdClass::$city in /home/nguyen-van/www/index.php on line 244

Notice: Undefined property: stdClass::$country in /home/nguyen-van/www/index.php on line 245

Notice: Undefined property: stdClass::$loc in /home/nguyen-van/www/index.php on line 246

Notice: Undefined property: stdClass::$org in /home/nguyen-van/www/index.php on line 247

Warning: fwrite() expects parameter 1 to be resource, bool given in /home/nguyen-van/www/index.php on line 248

Warning: fclose() expects parameter 1 to be resource, bool given in /home/nguyen-van/www/index.php on line 249