Nicanor Carrasco-Vargas

Uno sguardo a come funzionano i sistemi dinamici e le loro applicazioni in vari campi.

Esplorare l'indecidibilità nei sottotipi di tipo finito e nei sottotipi sofic.

Uno sguardo sulla complessità dei sottoshift attraverso i gradi di Medvedev.

Esaminando le complessità dei percorsi euleriani in grafi infiniti.