Jun Yan

Um estudo sobre descidas, inversões e suas implicações em permutações.

Analisando a robustez do SAM contra ataques adversariais para uma tecnologia de direção autônoma mais segura.

O AutoChecker simplifica a criação de verificadores de código estático personalizados para desenvolvedores.