(IMAGE) Institute of Science and Technology Austria Caption Professor Krishnendu Chatterje at ISTA, Mathematician leading the research group Computer-Aided Verification, Game Theory Credit © ISTA Usage Restrictions Free to use for reporting about ISTA. License Original content Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.