Dan Suciu

Die Auswirkungen der Nicht-Stornierenden Schnittmengenvermutung auf die Mengenlehre erkunden.

Das COLOR-Framework verbessert die Genauigkeit und Effizienz beim Abfragen von Graphdaten.

Galley vereinfacht das Programmieren mit spärlichen Tensors und verbessert die Effizienz und Leistung.