Improving the security of computer software and hardware requires mathematical analytic methods. Thanks to research by a team of computer scientists led by Krishnendu Chatterjee in a project funded by the Austrian Science Fund FWF, these methods will work significantly faster in the future. Continue reading “Using mathematics to hunt for computer errors”