Sanjit A. Seshia

Eine neue Methode verbessert das Lernen von RL-Agenten durch strukturierte Belohnungen.

Effiziente Methoden zur Zuweisung von Aufgaben an mehrere Roboter in Echtzeitumgebungen.

Tenspiler vereinfacht die Anpassung von Code, damit Entwickler mit den technologischen Veränderungen Schritt halten können.

Eine neue Methode verbessert die Codegenerierung für spezialisierte Programmiersprachen.

Erforschen, wie KI die Code-Konvertierung zwischen Programmiersprachen erleichtert.

Eine neue Methode verbessert die Erkennung von mikroarchitektonischen Schwachstellen in Computersystemen.