Follow

@rhapsodos tu fais à la fois software verification et deep learning ?

@h30x oui, et comme on peut s'y attendre c'est pas facile de concilier les deux

@rhapsodos j'essaye de réunir une petite communauté de gens qui travaillent en vérification formelle pour travailler sur le protocole DUBP de la monnaie libre g1. Si tu penses que ça peut t'intéresser je peux te mettre dans la boucle. Pour l'instant j'ai déjà contacté trois chercheurs CNRS et quatre post-doc qui seraient intéressés. À terme ça pourrait devenir un sujet de postdoc :)

Sign in to participate in the conversation
Mastodon.zaclys.com

Mastodon by la mère zaclys association française