![Krishnendu Chatterjee](https://conf.researchr.org/getProfileImage/krishnenduchatterjee/be284cd6-9345-4359-a2e5-fa80f8a5dbf2/small.jpg?1711745200000)
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