Using artificial intelligence to create reliable software

New Computer Science at the University of Stuttgart awarded ERC Starting Grant [
New Computer Science at the University of Stuttgart awarded ERC Starting Grant [Picture: Katrin Binner]
Programming errors in software can be expensive and in extreme cases can cost lives. Previously, they were detected by testing software, but this method is not foolproof. Michael Pradel, professor at the Institute of Software Technology at the University of Stuttgart since September 1, 2019, is focusing on artificial intelligence when it comes to detecting errors. A few days ago, he received one of the prestigious Starting Grants from the European Research Council, worth 1.5 million Euros, for his revolutionary research ideas. We all have seen the consequences of software errors for ourselves. Crashing apps, websites that are slow to load, features that don't work.. but these are only the tip of the iceberg.
account creation

TO READ THIS ARTICLE, CREATE YOUR ACCOUNT

And extend your reading, free of charge and with no commitment.



Your Benefits

  • Access to all content
  • Receive newsmails for news and jobs
  • Post ads

myScience