Michael Rawson

Die Rolle von Unifikation bei der Verbesserung von Beweissystemen für automatisches Schliessen erkunden.

Die Kombination aus Umschreiben und induktivem Denken steigert die Effizienz beim automatischen Beweisen von Theoremen.

Die Auswirkungen von zeitlichem Nachrichtenaustausch in graphbasierten neuronalen Netzwerken erkunden.