Contact: Patrick Regan
regan@zv.tum.de
49-892-891-0515
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.
Related news release: Software verification researcher ranks among the world's top young innovators