Jinwoo Kim

Die Kombination von 2D- und 3D-Modellen steigert die Genauigkeit bei der Vorhersage von molekularen Eigenschaften.

Eine neue Methode vereinfacht das Beweisen von Programmeigenschaften mit Hilfe von Nicht-Realisierbarkeit-Logik.

Erforsche, wie Computerprogramme automatisch erstellt werden können, um bestimmten Anforderungen gerecht zu werden.

Eine frische Methode reduziert die Grösse von neuronalen Netzen, während die Leistung erhalten bleibt.