Andrey Rybalchenko, Technische Universitaet Muenchen (IMAGE)

Technical University of Munich (TUM)

Andrey Rybalchenko, Technische Universitaet Muenchen

Caption

For breakthrough research in software verification, Andrey Rybalchenko, a professor in the Informatics Department at the Technische Universitaet Muenchen, has been named one of the world's top 35 innovators under 35 years of age by MIT's Technology Review magazine.

Credit

Copyright TU Muenchen, all rights reserved.

Usage Restrictions

Courtesy TU Muenchen.

License

Licensed 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.