About Mobile apps
Log in Sign up

Julien Girard @rhapsodos@scholar.social

122 Posts
18 Following
47 Followers
Follow
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
18 Following 47 Followers
Summer School @SummerSchool@scholar.social
random color contrasts @randomColorContrasts@botsin.space
Dr. Kotta @quota_atypique@social.atypique.net
Cédric Buron @cburon@mamot.fr
Hulduloke @f_loki@scholar.social
Matías Eyzaguirre Miranda @matias93@scholar.social
Walter Jessen @wj@scholar.social
axiom @axiom@mathstodon.xyz
Julian @jvytee@scholar.social
Matti Minkkinen @mmin@scholar.social
Joshua Chalifour @jc@scholar.social
And the raisin is you @jhlee@scholar.social
1 2 Next

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

scholar.social

  • About
  • v3.5.3

More…

  • Source code
  • Mobile apps
v3.5.3 · Privacy policy