Markus de Medeiros

複雑なプログラムのためのエラークレジットを使った新しいエラーバウンドのアプローチ。

高階の分離論理を使って確率的プログラムの予想コストを理解する新しいアプローチ。