Shrisha Rao

連続プッシュダウンVASSを使って、複雑な計算システムを分析する新しい方法を探ってる。

効率的な多汚染物質許可オークションの方法を紹介するよ。