Curtis Bright

La recherche met en avant la taille minimale d'un système Kochen-Specker en mécanique quantique.

Combiner la recherche arborescente Monte Carlo avec Cube-and-Conquer booste l'efficacité de la résolution SAT.

Utiliser des automates finis pour calculer des chiffres de nombres irrationnels comme le nombre d'or.

Examen de la sécurité de SHA-256 et des récentes techniques de recherche de collisions.

De nouvelles méthodes hybrides améliorent l'efficacité de la factorisation d'entiers pour la cryptographie.