Naman Jain

Apprends comment l'analyse statique et la réparation de programmes améliorent la sécurité et la fiabilité des logiciels.

Des recherches montrent que des fermions ultrafroids peuvent simuler des réactions chimiques de manière efficace.

Apprends à dessiner des graphs planaires bipartis en utilisant des méthodes parallèles.