Anindya Banerjee

実行アラインメントと検証を通じて、異なるプログラムがどのように関連しているかを分析してる。