Registered user since Fri 10 Apr 2015
Name:Krishnendu Chatterjee
Affiliation:IST Austria
Personal website: http://pub.ist.ac.at/~kchatterjee/
Contributions
2016
POPL
- Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
- Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
- ERC member in External Reviewing Committee
- ERC member in External Reviewing Committee within the Research Papers-track
POPL 2016-profile
View general profile
View general profile