Curtis Bright

Combinare la ricerca Monte Carlo Tree con il Cube-and-Conquer aumenta l'efficienza della risoluzione SAT.

Usare automi finiti per calcolare le cifre di numeri irrazionali come il numero d'oro.

Esaminare la sicurezza di SHA-256 e le recenti tecniche di individuazione delle collisioni.

Nuovi metodi ibridi migliorano l'efficienza nella fattorizzazione di interi per la crittografia.