Steven de Oliveira

Ph.D. in formal methods


Ressources humaines


Participation au concours L'informatique en Stream édition 2018

Synopsis :
Deux informaticiens tentent de résoudre un problème d'optimisation informatique : comment résoudre un puzzle avec un ordinateur le plus rapidement possible ?

Court métrage sous licence Creative Commons

MT180 édition 2018


Participation à MT180 Paris-Saclay, édition 2018