Julien Girard @rhapsodos@scholar.social
- Languages
- OCaml, Python
- Personal website
- https://www.lri.fr/~jgirard/
- Research group 1
- http://www-list.cea.fr/recherche-technologique/programmes-de-recherche/systemes-embarques/validation-et-verification
- Research group 2
- https://www.inria.fr/en/teams/tau
PhD Student in formal method and deep learning. Aim to bring trust on deep learning based software.
Also, I cook when I'm not doing any OCaml.
Joined Apr 2019
