Thomas Henzinger Receives ERC Advanced Grant
Thomas Henzinger, professor at IST Austria, has received an advanced grant of the European Research Counsil (ERC). This highly prestigious grant is a symbol for excellence in research. After already receiving an ERC advanced grant in 2010, this is now Thomas Henzinger’s second ERC grant.
The grant is awarded to Thomas Henzinger for his research project “VAMOS - Vigilant Algorithmic Monitoring of Software”, in which he and his research group develop methods for monitoring critical software through another piece of independently developed software.