Yao Guo

Étudier le transfert de masse entre les trous noirs et ses effets sur les nuages de bosons.

Un nouveau moteur d'exécution symbolique améliore l'analyse des binaires Wasm pour une sécurité renforcée.

Apprends comment les systèmes d'exploitation gèrent les interférences entre les cœurs pour un computing efficace.