Michael Rawson

Esplorare il ruolo della unificazione nel migliorare i sistemi di dimostrazione per il ragionamento automatico.

Combinare la riscrittura e il ragionamento induttivo aumenta l'efficienza nella dimostrazione automatica dei teoremi.

Esplorare l'impatto del passaggio di messaggi temporali nelle reti neurali grafiche.