La voix du gradient est un podcast autour des nouvelles technologies avec un accent sur l'intelligence artificielle. Nous interviewons des jeunes chercheurs et ingénieurs du domaine, qui nous parlent des dernières avancées et de leurs découvertes, et des progrès dans les sciences et technologies.
All content for La voix du gradient is the property of Monades and is served directly from their servers
with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
La voix du gradient est un podcast autour des nouvelles technologies avec un accent sur l'intelligence artificielle. Nous interviewons des jeunes chercheurs et ingénieurs du domaine, qui nous parlent des dernières avancées et de leurs découvertes, et des progrès dans les sciences et technologies.
Épisode 2: Denis Merigoux, Vérification formelle et transformation du droit en code
La voix du gradient
1 hour 1 minute 33 seconds
2 years ago
Épisode 2: Denis Merigoux, Vérification formelle et transformation du droit en code
La voix du gradient - Denis Merigoux
Alexandre Sablayrolles - Ruben Fiszel
La voix du gradient
La voix du gradient est un podcast autour des nouvelles technologies avec un accent sur l'intelligence artificielle. Nous interviewons des jeunes chercheurs et ingénieurs du domaine, qui nous parlent des dernières avancées et de leurs découvertes, et des progrès dans les sciences et technologies.
