Kwing Hei Li

Ein neuer Ansatz für Fehlerschranken mithilfe von Fehlergutschriften für komplexe Programme.

Ein neuer Ansatz, um die erwarteten Kosten von probabilistischen Programmen mit höherordentlicher Trennlogik zu verstehen.

Ein neuer Ansatz zur Sicherstellung der Zuverlässigkeit von probabilistischen Programmen höherer Ordnung.