Lars Birkedal

複雑な確率環境でプログラムの終了を確認するための新しい方法。

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

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

高次確率プログラムの信頼性を確保する新しいアプローチ。

再帰とランダム性を使ったプログラミング言語を考えるためのフレームワーク。